OAI/Analysis/LaughlinFock/Sparse1408.lean

GitHub source file

34 declarations, 0 contain sorry, 0 declared as axioms

Sparse1408.

  1. def OAI.LaughlinFock.collectedFourData_14_4_49 line 9
  2. def OAI.LaughlinFock.collectedFourData_14_4_50 line 57
  3. def OAI.LaughlinFock.collectedFourData_14_4_51 line 69
  4. def OAI.LaughlinFock.collectedFourData_14_4_52 line 87
  5. def OAI.LaughlinFock.collectedFourData_14_4_53 line 112
  6. def OAI.LaughlinFock.collectedFourData_14_4_54 line 145
  7. def OAI.LaughlinFock.collectedFourData_14_4_55 line 186
  8. def OAI.LaughlinFock.collectedFourData_14_4 line 234
  9. theorem OAI.LaughlinFock.collectedFourChecked_14_4 line 293
  10. def OAI.LaughlinFock.collectedFourData_14_5_0 line 296
  11. def OAI.LaughlinFock.collectedFourData_14_5_1 line 300
  12. def OAI.LaughlinFock.collectedFourData_14_5_2 line 306
  13. def OAI.LaughlinFock.collectedFourData_14_5_3 line 316
  14. def OAI.LaughlinFock.collectedFourData_14_5_4 line 331
  15. def OAI.LaughlinFock.collectedFourData_14_5_5 line 335
  16. def OAI.LaughlinFock.collectedFourData_14_5_6 line 341
  17. def OAI.LaughlinFock.collectedFourData_14_5_7 line 351
  18. def OAI.LaughlinFock.collectedFourData_14_5_8 line 366
  19. def OAI.LaughlinFock.collectedFourData_14_5_9 line 387
  20. def OAI.LaughlinFock.collectedFourData_14_5_10 line 391
  21. def OAI.LaughlinFock.collectedFourData_14_5_11 line 397
  22. def OAI.LaughlinFock.collectedFourData_14_5_12 line 407
  23. def OAI.LaughlinFock.collectedFourData_14_5_13 line 422
  24. def OAI.LaughlinFock.collectedFourData_14_5_14 line 443
  25. def OAI.LaughlinFock.collectedFourData_14_5_15 line 471
  26. def OAI.LaughlinFock.collectedFourData_14_5_16 line 475
  27. def OAI.LaughlinFock.collectedFourData_14_5_17 line 481
  28. def OAI.LaughlinFock.collectedFourData_14_5_18 line 491
  29. def OAI.LaughlinFock.collectedFourData_14_5_19 line 506
  30. def OAI.LaughlinFock.collectedFourData_14_5_20 line 527
  31. def OAI.LaughlinFock.collectedFourData_14_5_21 line 555
  32. def OAI.LaughlinFock.collectedFourData_14_5_22 line 591
  33. def OAI.LaughlinFock.collectedFourData_14_5_23 line 595
  34. def OAI.LaughlinFock.collectedFourData_14_5_24 line 601