OAI/Analysis/LaughlinFock/Sparse1410.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

Sparse1410.

  1. def OAI.LaughlinFock.collectedFourData_14_5_50 line 9
  2. def OAI.LaughlinFock.collectedFourData_14_5_51 line 37
  3. def OAI.LaughlinFock.collectedFourData_14_5_52 line 73
  4. def OAI.LaughlinFock.collectedFourData_14_5_53 line 117
  5. def OAI.LaughlinFock.collectedFourData_14_5 line 168
  6. theorem OAI.LaughlinFock.collectedFourChecked_14_5 line 225
  7. def OAI.LaughlinFock.collectedFourData_14_6_0 line 228
  8. def OAI.LaughlinFock.collectedFourData_14_6_1 line 233
  9. def OAI.LaughlinFock.collectedFourData_14_6_2 line 241
  10. def OAI.LaughlinFock.collectedFourData_14_6_3 line 253
  11. def OAI.LaughlinFock.collectedFourData_14_6_4 line 258
  12. def OAI.LaughlinFock.collectedFourData_14_6_5 line 266
  13. def OAI.LaughlinFock.collectedFourData_14_6_6 line 278
  14. def OAI.LaughlinFock.collectedFourData_14_6_7 line 295
  15. def OAI.LaughlinFock.collectedFourData_14_6_8 line 300
  16. def OAI.LaughlinFock.collectedFourData_14_6_9 line 308
  17. def OAI.LaughlinFock.collectedFourData_14_6_10 line 320
  18. def OAI.LaughlinFock.collectedFourData_14_6_11 line 337
  19. def OAI.LaughlinFock.collectedFourData_14_6_12 line 360
  20. def OAI.LaughlinFock.collectedFourData_14_6_13 line 365
  21. def OAI.LaughlinFock.collectedFourData_14_6_14 line 373
  22. def OAI.LaughlinFock.collectedFourData_14_6_15 line 385
  23. def OAI.LaughlinFock.collectedFourData_14_6_16 line 402
  24. def OAI.LaughlinFock.collectedFourData_14_6_17 line 425
  25. def OAI.LaughlinFock.collectedFourData_14_6_18 line 455
  26. def OAI.LaughlinFock.collectedFourData_14_6_19 line 460
  27. def OAI.LaughlinFock.collectedFourData_14_6_20 line 468
  28. def OAI.LaughlinFock.collectedFourData_14_6_21 line 480
  29. def OAI.LaughlinFock.collectedFourData_14_6_22 line 497
  30. def OAI.LaughlinFock.collectedFourData_14_6_23 line 520
  31. def OAI.LaughlinFock.collectedFourData_14_6_24 line 550
  32. def OAI.LaughlinFock.collectedFourData_14_6_25 line 588
  33. def OAI.LaughlinFock.collectedFourData_14_6_26 line 593
  34. def OAI.LaughlinFock.collectedFourData_14_6_27 line 601