OAI/Analysis/LaughlinFock/Sparse1407.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

Sparse1407.

  1. def OAI.LaughlinFock.collectedFourData_14_4_22 line 8
  2. def OAI.LaughlinFock.collectedFourData_14_4_23 line 26
  3. def OAI.LaughlinFock.collectedFourData_14_4_24 line 51
  4. def OAI.LaughlinFock.collectedFourData_14_4_25 line 84
  5. def OAI.LaughlinFock.collectedFourData_14_4_26 line 125
  6. def OAI.LaughlinFock.collectedFourData_14_4_27 line 129
  7. def OAI.LaughlinFock.collectedFourData_14_4_28 line 133
  8. def OAI.LaughlinFock.collectedFourData_14_4_29 line 140
  9. def OAI.LaughlinFock.collectedFourData_14_4_30 line 152
  10. def OAI.LaughlinFock.collectedFourData_14_4_31 line 170
  11. def OAI.LaughlinFock.collectedFourData_14_4_32 line 195
  12. def OAI.LaughlinFock.collectedFourData_14_4_33 line 228
  13. def OAI.LaughlinFock.collectedFourData_14_4_34 line 269
  14. def OAI.LaughlinFock.collectedFourData_14_4_35 line 317
  15. def OAI.LaughlinFock.collectedFourData_14_4_36 line 321
  16. def OAI.LaughlinFock.collectedFourData_14_4_37 line 328
  17. def OAI.LaughlinFock.collectedFourData_14_4_38 line 340
  18. def OAI.LaughlinFock.collectedFourData_14_4_39 line 358
  19. def OAI.LaughlinFock.collectedFourData_14_4_40 line 383
  20. def OAI.LaughlinFock.collectedFourData_14_4_41 line 416
  21. def OAI.LaughlinFock.collectedFourData_14_4_42 line 457
  22. def OAI.LaughlinFock.collectedFourData_14_4_43 line 505
  23. def OAI.LaughlinFock.collectedFourData_14_4_44 line 512
  24. def OAI.LaughlinFock.collectedFourData_14_4_45 line 524
  25. def OAI.LaughlinFock.collectedFourData_14_4_46 line 542
  26. def OAI.LaughlinFock.collectedFourData_14_4_47 line 567
  27. def OAI.LaughlinFock.collectedFourData_14_4_48 line 600