OAI/Analysis/LaughlinFock/Sparse1304.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

Sparse1304.

  1. def OAI.LaughlinFock.collectedFourData_13_2_1 line 8
  2. def OAI.LaughlinFock.collectedFourData_13_2_2 line 12
  3. def OAI.LaughlinFock.collectedFourData_13_2_3 line 16
  4. def OAI.LaughlinFock.collectedFourData_13_2_4 line 25
  5. def OAI.LaughlinFock.collectedFourData_13_2_5 line 41
  6. def OAI.LaughlinFock.collectedFourData_13_2_6 line 65
  7. def OAI.LaughlinFock.collectedFourData_13_2_7 line 97
  8. def OAI.LaughlinFock.collectedFourData_13_2_8 line 101
  9. def OAI.LaughlinFock.collectedFourData_13_2_9 line 105
  10. def OAI.LaughlinFock.collectedFourData_13_2_10 line 109
  11. def OAI.LaughlinFock.collectedFourData_13_2_11 line 118
  12. def OAI.LaughlinFock.collectedFourData_13_2_12 line 134
  13. def OAI.LaughlinFock.collectedFourData_13_2_13 line 158
  14. def OAI.LaughlinFock.collectedFourData_13_2_14 line 190
  15. def OAI.LaughlinFock.collectedFourData_13_2_15 line 229
  16. def OAI.LaughlinFock.collectedFourData_13_2_16 line 233
  17. def OAI.LaughlinFock.collectedFourData_13_2_17 line 237
  18. def OAI.LaughlinFock.collectedFourData_13_2_18 line 241
  19. def OAI.LaughlinFock.collectedFourData_13_2_19 line 250
  20. def OAI.LaughlinFock.collectedFourData_13_2_20 line 266
  21. def OAI.LaughlinFock.collectedFourData_13_2_21 line 290
  22. def OAI.LaughlinFock.collectedFourData_13_2_22 line 322
  23. def OAI.LaughlinFock.collectedFourData_13_2_23 line 361
  24. def OAI.LaughlinFock.collectedFourData_13_2_24 line 406
  25. def OAI.LaughlinFock.collectedFourData_13_2_25 line 410
  26. def OAI.LaughlinFock.collectedFourData_13_2_26 line 414
  27. def OAI.LaughlinFock.collectedFourData_13_2_27 line 423
  28. def OAI.LaughlinFock.collectedFourData_13_2_28 line 439
  29. def OAI.LaughlinFock.collectedFourData_13_2_29 line 463
  30. def OAI.LaughlinFock.collectedFourData_13_2_30 line 495
  31. def OAI.LaughlinFock.collectedFourData_13_2_31 line 534
  32. def OAI.LaughlinFock.collectedFourData_13_2_32 line 579
  33. def OAI.LaughlinFock.collectedFourData_13_2_33 line 583
  34. def OAI.LaughlinFock.collectedFourData_13_2_34 line 592