OAI/Analysis/LaughlinFock/Sparse1103.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

Sparse1103.

  1. def OAI.LaughlinFock.collectedFourData_11_1_0 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_1_1 line 12
  3. def OAI.LaughlinFock.collectedFourData_11_1_2 line 16
  4. def OAI.LaughlinFock.collectedFourData_11_1_3 line 26
  5. def OAI.LaughlinFock.collectedFourData_11_1_4 line 44
  6. def OAI.LaughlinFock.collectedFourData_11_1_5 line 70
  7. def OAI.LaughlinFock.collectedFourData_11_1_6 line 103
  8. def OAI.LaughlinFock.collectedFourData_11_1_7 line 142
  9. def OAI.LaughlinFock.collectedFourData_11_1_8 line 186
  10. def OAI.LaughlinFock.collectedFourData_11_1_9 line 190
  11. def OAI.LaughlinFock.collectedFourData_11_1_10 line 194
  12. def OAI.LaughlinFock.collectedFourData_11_1_11 line 204
  13. def OAI.LaughlinFock.collectedFourData_11_1_12 line 222
  14. def OAI.LaughlinFock.collectedFourData_11_1_13 line 248
  15. def OAI.LaughlinFock.collectedFourData_11_1_14 line 281
  16. def OAI.LaughlinFock.collectedFourData_11_1_15 line 320
  17. def OAI.LaughlinFock.collectedFourData_11_1_16 line 364
  18. def OAI.LaughlinFock.collectedFourData_11_1_17 line 412
  19. def OAI.LaughlinFock.collectedFourData_11_1_18 line 416
  20. def OAI.LaughlinFock.collectedFourData_11_1_19 line 426
  21. def OAI.LaughlinFock.collectedFourData_11_1_20 line 444
  22. def OAI.LaughlinFock.collectedFourData_11_1_21 line 470
  23. def OAI.LaughlinFock.collectedFourData_11_1_22 line 503
  24. def OAI.LaughlinFock.collectedFourData_11_1_23 line 542
  25. def OAI.LaughlinFock.collectedFourData_11_1_24 line 586