OAI/Analysis/LaughlinFock/Sparse1018.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse1018.

  1. def OAI.LaughlinFock.collectedFourData_10_5_4 line 8
  2. def OAI.LaughlinFock.collectedFourData_10_5_5 line 29
  3. def OAI.LaughlinFock.collectedFourData_10_5_6 line 57
  4. def OAI.LaughlinFock.collectedFourData_10_5_7 line 93
  5. def OAI.LaughlinFock.collectedFourData_10_5_8 line 137
  6. def OAI.LaughlinFock.collectedFourData_10_5_9 line 188
  7. def OAI.LaughlinFock.collectedFourData_10_5_10 line 209
  8. def OAI.LaughlinFock.collectedFourData_10_5_11 line 237
  9. def OAI.LaughlinFock.collectedFourData_10_5_12 line 273
  10. def OAI.LaughlinFock.collectedFourData_10_5_13 line 317
  11. def OAI.LaughlinFock.collectedFourData_10_5_14 line 368
  12. def OAI.LaughlinFock.collectedFourData_10_5_15 line 425
  13. def OAI.LaughlinFock.collectedFourData_10_5_16 line 446
  14. def OAI.LaughlinFock.collectedFourData_10_5_17 line 474
  15. def OAI.LaughlinFock.collectedFourData_10_5_18 line 510
  16. def OAI.LaughlinFock.collectedFourData_10_5_19 line 554
  17. def OAI.LaughlinFock.collectedFourData_10_5_20 line 605