OAI/Analysis/LaughlinFock/Sparse1402.lean

GitHub source file

41 declarations, 0 contain sorry, 0 declared as axioms

Sparse1402.

  1. def OAI.LaughlinFock.collectedFourData_14_1_6 line 8
  2. def OAI.LaughlinFock.collectedFourData_14_1_7 line 26
  3. def OAI.LaughlinFock.collectedFourData_14_1_8 line 52
  4. def OAI.LaughlinFock.collectedFourData_14_1_9 line 56
  5. def OAI.LaughlinFock.collectedFourData_14_1_10 line 60
  6. def OAI.LaughlinFock.collectedFourData_14_1_11 line 64
  7. def OAI.LaughlinFock.collectedFourData_14_1_12 line 68
  8. def OAI.LaughlinFock.collectedFourData_14_1_13 line 72
  9. def OAI.LaughlinFock.collectedFourData_14_1_14 line 82
  10. def OAI.LaughlinFock.collectedFourData_14_1_15 line 100
  11. def OAI.LaughlinFock.collectedFourData_14_1_16 line 126
  12. def OAI.LaughlinFock.collectedFourData_14_1_17 line 159
  13. def OAI.LaughlinFock.collectedFourData_14_1_18 line 163
  14. def OAI.LaughlinFock.collectedFourData_14_1_19 line 167
  15. def OAI.LaughlinFock.collectedFourData_14_1_20 line 171
  16. def OAI.LaughlinFock.collectedFourData_14_1_21 line 175
  17. def OAI.LaughlinFock.collectedFourData_14_1_22 line 185
  18. def OAI.LaughlinFock.collectedFourData_14_1_23 line 203
  19. def OAI.LaughlinFock.collectedFourData_14_1_24 line 229
  20. def OAI.LaughlinFock.collectedFourData_14_1_25 line 262
  21. def OAI.LaughlinFock.collectedFourData_14_1_26 line 266
  22. def OAI.LaughlinFock.collectedFourData_14_1_27 line 270
  23. def OAI.LaughlinFock.collectedFourData_14_1_28 line 274
  24. def OAI.LaughlinFock.collectedFourData_14_1_29 line 284
  25. def OAI.LaughlinFock.collectedFourData_14_1_30 line 302
  26. def OAI.LaughlinFock.collectedFourData_14_1_31 line 328
  27. def OAI.LaughlinFock.collectedFourData_14_1_32 line 361
  28. def OAI.LaughlinFock.collectedFourData_14_1_33 line 365
  29. def OAI.LaughlinFock.collectedFourData_14_1_34 line 369
  30. def OAI.LaughlinFock.collectedFourData_14_1_35 line 379
  31. def OAI.LaughlinFock.collectedFourData_14_1_36 line 397
  32. def OAI.LaughlinFock.collectedFourData_14_1_37 line 423
  33. def OAI.LaughlinFock.collectedFourData_14_1_38 line 456
  34. def OAI.LaughlinFock.collectedFourData_14_1_39 line 460
  35. def OAI.LaughlinFock.collectedFourData_14_1_40 line 470
  36. def OAI.LaughlinFock.collectedFourData_14_1_41 line 488
  37. def OAI.LaughlinFock.collectedFourData_14_1_42 line 514
  38. def OAI.LaughlinFock.collectedFourData_14_1_43 line 547
  39. def OAI.LaughlinFock.collectedFourData_14_1_44 line 557
  40. def OAI.LaughlinFock.collectedFourData_14_1_45 line 575
  41. def OAI.LaughlinFock.collectedFourData_14_1_46 line 601