OAI/Analysis/LaughlinFock/Sparse1311.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

Sparse1311.

  1. def OAI.LaughlinFock.collectedFourData_13_5_8 line 8
  2. def OAI.LaughlinFock.collectedFourData_13_5_9 line 36
  3. def OAI.LaughlinFock.collectedFourData_13_5_10 line 42
  4. def OAI.LaughlinFock.collectedFourData_13_5_11 line 52
  5. def OAI.LaughlinFock.collectedFourData_13_5_12 line 67
  6. def OAI.LaughlinFock.collectedFourData_13_5_13 line 88
  7. def OAI.LaughlinFock.collectedFourData_13_5_14 line 116
  8. def OAI.LaughlinFock.collectedFourData_13_5_15 line 152
  9. def OAI.LaughlinFock.collectedFourData_13_5_16 line 158
  10. def OAI.LaughlinFock.collectedFourData_13_5_17 line 168
  11. def OAI.LaughlinFock.collectedFourData_13_5_18 line 183
  12. def OAI.LaughlinFock.collectedFourData_13_5_19 line 204
  13. def OAI.LaughlinFock.collectedFourData_13_5_20 line 232
  14. def OAI.LaughlinFock.collectedFourData_13_5_21 line 268
  15. def OAI.LaughlinFock.collectedFourData_13_5_22 line 312
  16. def OAI.LaughlinFock.collectedFourData_13_5_23 line 318
  17. def OAI.LaughlinFock.collectedFourData_13_5_24 line 328
  18. def OAI.LaughlinFock.collectedFourData_13_5_25 line 343
  19. def OAI.LaughlinFock.collectedFourData_13_5_26 line 364
  20. def OAI.LaughlinFock.collectedFourData_13_5_27 line 392
  21. def OAI.LaughlinFock.collectedFourData_13_5_28 line 428
  22. def OAI.LaughlinFock.collectedFourData_13_5_29 line 472
  23. def OAI.LaughlinFock.collectedFourData_13_5_30 line 523
  24. def OAI.LaughlinFock.collectedFourData_13_5_31 line 529
  25. def OAI.LaughlinFock.collectedFourData_13_5_32 line 539
  26. def OAI.LaughlinFock.collectedFourData_13_5_33 line 554
  27. def OAI.LaughlinFock.collectedFourData_13_5_34 line 575
  28. def OAI.LaughlinFock.collectedFourData_13_5_35 line 603