OAI/Analysis/LaughlinFock/Sparse1112.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

Sparse1112.

  1. def OAI.LaughlinFock.collectedFourData_11_4_0 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_4_1 line 20
  3. def OAI.LaughlinFock.collectedFourData_11_4_2 line 38
  4. def OAI.LaughlinFock.collectedFourData_11_4_3 line 63
  5. def OAI.LaughlinFock.collectedFourData_11_4_4 line 96
  6. def OAI.LaughlinFock.collectedFourData_11_4_5 line 137
  7. def OAI.LaughlinFock.collectedFourData_11_4_6 line 149
  8. def OAI.LaughlinFock.collectedFourData_11_4_7 line 167
  9. def OAI.LaughlinFock.collectedFourData_11_4_8 line 192
  10. def OAI.LaughlinFock.collectedFourData_11_4_9 line 225
  11. def OAI.LaughlinFock.collectedFourData_11_4_10 line 266
  12. def OAI.LaughlinFock.collectedFourData_11_4_11 line 314
  13. def OAI.LaughlinFock.collectedFourData_11_4_12 line 326
  14. def OAI.LaughlinFock.collectedFourData_11_4_13 line 344
  15. def OAI.LaughlinFock.collectedFourData_11_4_14 line 369
  16. def OAI.LaughlinFock.collectedFourData_11_4_15 line 402
  17. def OAI.LaughlinFock.collectedFourData_11_4_16 line 443
  18. def OAI.LaughlinFock.collectedFourData_11_4_17 line 491
  19. def OAI.LaughlinFock.collectedFourData_11_4_18 line 545
  20. def OAI.LaughlinFock.collectedFourData_11_4_19 line 557
  21. def OAI.LaughlinFock.collectedFourData_11_4_20 line 575
  22. def OAI.LaughlinFock.collectedFourData_11_4_21 line 600