OAI/Analysis/LaughlinFock/Sparse1406.lean

GitHub source file

35 declarations, 0 contain sorry, 0 declared as axioms

Sparse1406.

  1. def OAI.LaughlinFock.collectedFourData_14_3_45 line 9
  2. def OAI.LaughlinFock.collectedFourData_14_3_46 line 17
  3. def OAI.LaughlinFock.collectedFourData_14_3_47 line 31
  4. def OAI.LaughlinFock.collectedFourData_14_3_48 line 52
  5. def OAI.LaughlinFock.collectedFourData_14_3_49 line 81
  6. def OAI.LaughlinFock.collectedFourData_14_3_50 line 118
  7. def OAI.LaughlinFock.collectedFourData_14_3_51 line 162
  8. def OAI.LaughlinFock.collectedFourData_14_3_52 line 176
  9. def OAI.LaughlinFock.collectedFourData_14_3_53 line 197
  10. def OAI.LaughlinFock.collectedFourData_14_3_54 line 226
  11. def OAI.LaughlinFock.collectedFourData_14_3_55 line 263
  12. def OAI.LaughlinFock.collectedFourData_14_3 line 307
  13. theorem OAI.LaughlinFock.collectedFourChecked_14_3 line 366
  14. def OAI.LaughlinFock.collectedFourData_14_4_0 line 369
  15. def OAI.LaughlinFock.collectedFourData_14_4_1 line 373
  16. def OAI.LaughlinFock.collectedFourData_14_4_2 line 377
  17. def OAI.LaughlinFock.collectedFourData_14_4_3 line 384
  18. def OAI.LaughlinFock.collectedFourData_14_4_4 line 396
  19. def OAI.LaughlinFock.collectedFourData_14_4_5 line 414
  20. def OAI.LaughlinFock.collectedFourData_14_4_6 line 418
  21. def OAI.LaughlinFock.collectedFourData_14_4_7 line 422
  22. def OAI.LaughlinFock.collectedFourData_14_4_8 line 429
  23. def OAI.LaughlinFock.collectedFourData_14_4_9 line 441
  24. def OAI.LaughlinFock.collectedFourData_14_4_10 line 459
  25. def OAI.LaughlinFock.collectedFourData_14_4_11 line 484
  26. def OAI.LaughlinFock.collectedFourData_14_4_12 line 488
  27. def OAI.LaughlinFock.collectedFourData_14_4_13 line 492
  28. def OAI.LaughlinFock.collectedFourData_14_4_14 line 499
  29. def OAI.LaughlinFock.collectedFourData_14_4_15 line 511
  30. def OAI.LaughlinFock.collectedFourData_14_4_16 line 529
  31. def OAI.LaughlinFock.collectedFourData_14_4_17 line 554
  32. def OAI.LaughlinFock.collectedFourData_14_4_18 line 587
  33. def OAI.LaughlinFock.collectedFourData_14_4_19 line 591
  34. def OAI.LaughlinFock.collectedFourData_14_4_20 line 595
  35. def OAI.LaughlinFock.collectedFourData_14_4_21 line 602