OAI/Analysis/LaughlinFock/Sparse1101.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

Sparse1101.

  1. def OAI.LaughlinFock.collectedFourData_11_0_0 line 9
  2. def OAI.LaughlinFock.collectedFourData_11_0_1 line 13
  3. def OAI.LaughlinFock.collectedFourData_11_0_2 line 17
  4. def OAI.LaughlinFock.collectedFourData_11_0_3 line 21
  5. def OAI.LaughlinFock.collectedFourData_11_0_4 line 32
  6. def OAI.LaughlinFock.collectedFourData_11_0_5 line 51
  7. def OAI.LaughlinFock.collectedFourData_11_0_6 line 77
  8. def OAI.LaughlinFock.collectedFourData_11_0_7 line 109
  9. def OAI.LaughlinFock.collectedFourData_11_0_8 line 146
  10. def OAI.LaughlinFock.collectedFourData_11_0_9 line 187
  11. def OAI.LaughlinFock.collectedFourData_11_0_10 line 191
  12. def OAI.LaughlinFock.collectedFourData_11_0_11 line 195
  13. def OAI.LaughlinFock.collectedFourData_11_0_12 line 206
  14. def OAI.LaughlinFock.collectedFourData_11_0_13 line 225
  15. def OAI.LaughlinFock.collectedFourData_11_0_14 line 251
  16. def OAI.LaughlinFock.collectedFourData_11_0_15 line 283
  17. def OAI.LaughlinFock.collectedFourData_11_0_16 line 320
  18. def OAI.LaughlinFock.collectedFourData_11_0_17 line 361
  19. def OAI.LaughlinFock.collectedFourData_11_0_18 line 365
  20. def OAI.LaughlinFock.collectedFourData_11_0_19 line 376
  21. def OAI.LaughlinFock.collectedFourData_11_0_20 line 395
  22. def OAI.LaughlinFock.collectedFourData_11_0_21 line 421
  23. def OAI.LaughlinFock.collectedFourData_11_0_22 line 453
  24. def OAI.LaughlinFock.collectedFourData_11_0_23 line 490
  25. def OAI.LaughlinFock.collectedFourData_11_0_24 line 531
  26. def OAI.LaughlinFock.collectedFourData_11_0_25 line 542
  27. def OAI.LaughlinFock.collectedFourData_11_0_26 line 561
  28. def OAI.LaughlinFock.collectedFourData_11_0_27 line 587