OAI/Analysis/LaughlinFock/Sparse1001.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

Sparse1001.

  1. def OAI.LaughlinFock.collectedFourData_10_0_0 line 9
  2. def OAI.LaughlinFock.collectedFourData_10_0_1 line 13
  3. def OAI.LaughlinFock.collectedFourData_10_0_2 line 17
  4. def OAI.LaughlinFock.collectedFourData_10_0_3 line 28
  5. def OAI.LaughlinFock.collectedFourData_10_0_4 line 47
  6. def OAI.LaughlinFock.collectedFourData_10_0_5 line 73
  7. def OAI.LaughlinFock.collectedFourData_10_0_6 line 105
  8. def OAI.LaughlinFock.collectedFourData_10_0_7 line 142
  9. def OAI.LaughlinFock.collectedFourData_10_0_8 line 183
  10. def OAI.LaughlinFock.collectedFourData_10_0_9 line 227
  11. def OAI.LaughlinFock.collectedFourData_10_0_10 line 231
  12. def OAI.LaughlinFock.collectedFourData_10_0_11 line 242
  13. def OAI.LaughlinFock.collectedFourData_10_0_12 line 261
  14. def OAI.LaughlinFock.collectedFourData_10_0_13 line 287
  15. def OAI.LaughlinFock.collectedFourData_10_0_14 line 319
  16. def OAI.LaughlinFock.collectedFourData_10_0_15 line 356
  17. def OAI.LaughlinFock.collectedFourData_10_0_16 line 397
  18. def OAI.LaughlinFock.collectedFourData_10_0_17 line 441
  19. def OAI.LaughlinFock.collectedFourData_10_0_18 line 452
  20. def OAI.LaughlinFock.collectedFourData_10_0_19 line 471
  21. def OAI.LaughlinFock.collectedFourData_10_0_20 line 497
  22. def OAI.LaughlinFock.collectedFourData_10_0_21 line 529
  23. def OAI.LaughlinFock.collectedFourData_10_0_22 line 566