OAI/Analysis/LaughlinFock/Sparse1409.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

Sparse1409.

  1. def OAI.LaughlinFock.collectedFourData_14_5_25 line 8
  2. def OAI.LaughlinFock.collectedFourData_14_5_26 line 23
  3. def OAI.LaughlinFock.collectedFourData_14_5_27 line 44
  4. def OAI.LaughlinFock.collectedFourData_14_5_28 line 72
  5. def OAI.LaughlinFock.collectedFourData_14_5_29 line 108
  6. def OAI.LaughlinFock.collectedFourData_14_5_30 line 152
  7. def OAI.LaughlinFock.collectedFourData_14_5_31 line 156
  8. def OAI.LaughlinFock.collectedFourData_14_5_32 line 162
  9. def OAI.LaughlinFock.collectedFourData_14_5_33 line 172
  10. def OAI.LaughlinFock.collectedFourData_14_5_34 line 187
  11. def OAI.LaughlinFock.collectedFourData_14_5_35 line 208
  12. def OAI.LaughlinFock.collectedFourData_14_5_36 line 236
  13. def OAI.LaughlinFock.collectedFourData_14_5_37 line 272
  14. def OAI.LaughlinFock.collectedFourData_14_5_38 line 316
  15. def OAI.LaughlinFock.collectedFourData_14_5_39 line 367
  16. def OAI.LaughlinFock.collectedFourData_14_5_40 line 373
  17. def OAI.LaughlinFock.collectedFourData_14_5_41 line 383
  18. def OAI.LaughlinFock.collectedFourData_14_5_42 line 398
  19. def OAI.LaughlinFock.collectedFourData_14_5_43 line 419
  20. def OAI.LaughlinFock.collectedFourData_14_5_44 line 447
  21. def OAI.LaughlinFock.collectedFourData_14_5_45 line 483
  22. def OAI.LaughlinFock.collectedFourData_14_5_46 line 527
  23. def OAI.LaughlinFock.collectedFourData_14_5_47 line 578
  24. def OAI.LaughlinFock.collectedFourData_14_5_48 line 588
  25. def OAI.LaughlinFock.collectedFourData_14_5_49 line 603