OAI/Analysis/LaughlinFock/Sparse1119.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

Sparse1119.

  1. def OAI.LaughlinFock.collectedFourData_11_6_0 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_6_1 line 25
  3. def OAI.LaughlinFock.collectedFourData_11_6_2 line 48
  4. def OAI.LaughlinFock.collectedFourData_11_6_3 line 78
  5. def OAI.LaughlinFock.collectedFourData_11_6_4 line 95
  6. def OAI.LaughlinFock.collectedFourData_11_6_5 line 118
  7. def OAI.LaughlinFock.collectedFourData_11_6_6 line 148
  8. def OAI.LaughlinFock.collectedFourData_11_6_7 line 186
  9. def OAI.LaughlinFock.collectedFourData_11_6_8 line 203
  10. def OAI.LaughlinFock.collectedFourData_11_6_9 line 226
  11. def OAI.LaughlinFock.collectedFourData_11_6_10 line 256
  12. def OAI.LaughlinFock.collectedFourData_11_6_11 line 294
  13. def OAI.LaughlinFock.collectedFourData_11_6_12 line 340
  14. def OAI.LaughlinFock.collectedFourData_11_6_13 line 357
  15. def OAI.LaughlinFock.collectedFourData_11_6_14 line 380
  16. def OAI.LaughlinFock.collectedFourData_11_6_15 line 410
  17. def OAI.LaughlinFock.collectedFourData_11_6_16 line 448
  18. def OAI.LaughlinFock.collectedFourData_11_6_17 line 494
  19. def OAI.LaughlinFock.collectedFourData_11_6_18 line 547
  20. def OAI.LaughlinFock.collectedFourData_11_6_19 line 564
  21. def OAI.LaughlinFock.collectedFourData_11_6_20 line 587