OAI/Analysis/LaughlinFock/Sparse1314.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

Sparse1314.

  1. def OAI.LaughlinFock.collectedFourData_13_6_25 line 8
  2. def OAI.LaughlinFock.collectedFourData_13_6_26 line 16
  3. def OAI.LaughlinFock.collectedFourData_13_6_27 line 28
  4. def OAI.LaughlinFock.collectedFourData_13_6_28 line 45
  5. def OAI.LaughlinFock.collectedFourData_13_6_29 line 68
  6. def OAI.LaughlinFock.collectedFourData_13_6_30 line 98
  7. def OAI.LaughlinFock.collectedFourData_13_6_31 line 136
  8. def OAI.LaughlinFock.collectedFourData_13_6_32 line 182
  9. def OAI.LaughlinFock.collectedFourData_13_6_33 line 235
  10. def OAI.LaughlinFock.collectedFourData_13_6_34 line 243
  11. def OAI.LaughlinFock.collectedFourData_13_6_35 line 255
  12. def OAI.LaughlinFock.collectedFourData_13_6_36 line 272
  13. def OAI.LaughlinFock.collectedFourData_13_6_37 line 295
  14. def OAI.LaughlinFock.collectedFourData_13_6_38 line 325
  15. def OAI.LaughlinFock.collectedFourData_13_6_39 line 363
  16. def OAI.LaughlinFock.collectedFourData_13_6_40 line 409
  17. def OAI.LaughlinFock.collectedFourData_13_6_41 line 462
  18. def OAI.LaughlinFock.collectedFourData_13_6_42 line 515
  19. def OAI.LaughlinFock.collectedFourData_13_6_43 line 527
  20. def OAI.LaughlinFock.collectedFourData_13_6_44 line 544
  21. def OAI.LaughlinFock.collectedFourData_13_6_45 line 567
  22. def OAI.LaughlinFock.collectedFourData_13_6_46 line 597