OAI/Analysis/LaughlinFock/Sparse1301.lean

GitHub source file

40 declarations, 0 contain sorry, 0 declared as axioms

Sparse1301.

  1. def OAI.LaughlinFock.collectedFourData_13_0_0 line 9
  2. def OAI.LaughlinFock.collectedFourData_13_0_1 line 13
  3. def OAI.LaughlinFock.collectedFourData_13_0_2 line 17
  4. def OAI.LaughlinFock.collectedFourData_13_0_3 line 21
  5. def OAI.LaughlinFock.collectedFourData_13_0_4 line 25
  6. def OAI.LaughlinFock.collectedFourData_13_0_5 line 29
  7. def OAI.LaughlinFock.collectedFourData_13_0_6 line 40
  8. def OAI.LaughlinFock.collectedFourData_13_0_7 line 59
  9. def OAI.LaughlinFock.collectedFourData_13_0_8 line 85
  10. def OAI.LaughlinFock.collectedFourData_13_0_9 line 117
  11. def OAI.LaughlinFock.collectedFourData_13_0_10 line 121
  12. def OAI.LaughlinFock.collectedFourData_13_0_11 line 125
  13. def OAI.LaughlinFock.collectedFourData_13_0_12 line 129
  14. def OAI.LaughlinFock.collectedFourData_13_0_13 line 133
  15. def OAI.LaughlinFock.collectedFourData_13_0_14 line 144
  16. def OAI.LaughlinFock.collectedFourData_13_0_15 line 163
  17. def OAI.LaughlinFock.collectedFourData_13_0_16 line 189
  18. def OAI.LaughlinFock.collectedFourData_13_0_17 line 221
  19. def OAI.LaughlinFock.collectedFourData_13_0_18 line 225
  20. def OAI.LaughlinFock.collectedFourData_13_0_19 line 229
  21. def OAI.LaughlinFock.collectedFourData_13_0_20 line 233
  22. def OAI.LaughlinFock.collectedFourData_13_0_21 line 244
  23. def OAI.LaughlinFock.collectedFourData_13_0_22 line 263
  24. def OAI.LaughlinFock.collectedFourData_13_0_23 line 289
  25. def OAI.LaughlinFock.collectedFourData_13_0_24 line 321
  26. def OAI.LaughlinFock.collectedFourData_13_0_25 line 325
  27. def OAI.LaughlinFock.collectedFourData_13_0_26 line 329
  28. def OAI.LaughlinFock.collectedFourData_13_0_27 line 340
  29. def OAI.LaughlinFock.collectedFourData_13_0_28 line 359
  30. def OAI.LaughlinFock.collectedFourData_13_0_29 line 385
  31. def OAI.LaughlinFock.collectedFourData_13_0_30 line 417
  32. def OAI.LaughlinFock.collectedFourData_13_0_31 line 421
  33. def OAI.LaughlinFock.collectedFourData_13_0_32 line 432
  34. def OAI.LaughlinFock.collectedFourData_13_0_33 line 451
  35. def OAI.LaughlinFock.collectedFourData_13_0_34 line 477
  36. def OAI.LaughlinFock.collectedFourData_13_0_35 line 509
  37. def OAI.LaughlinFock.collectedFourData_13_0_36 line 520
  38. def OAI.LaughlinFock.collectedFourData_13_0_37 line 539
  39. def OAI.LaughlinFock.collectedFourData_13_0_38 line 565
  40. def OAI.LaughlinFock.collectedFourData_13_0_39 line 597