OAI/Analysis/LaughlinFock/Sparse1010.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse1010.

  1. def OAI.LaughlinFock.collectedFourData_10_3_4 line 8
  2. def OAI.LaughlinFock.collectedFourData_10_3_5 line 52
  3. def OAI.LaughlinFock.collectedFourData_10_3_6 line 102
  4. def OAI.LaughlinFock.collectedFourData_10_3_7 line 116
  5. def OAI.LaughlinFock.collectedFourData_10_3_8 line 137
  6. def OAI.LaughlinFock.collectedFourData_10_3_9 line 166
  7. def OAI.LaughlinFock.collectedFourData_10_3_10 line 203
  8. def OAI.LaughlinFock.collectedFourData_10_3_11 line 247
  9. def OAI.LaughlinFock.collectedFourData_10_3_12 line 297
  10. def OAI.LaughlinFock.collectedFourData_10_3_13 line 352
  11. def OAI.LaughlinFock.collectedFourData_10_3_14 line 366
  12. def OAI.LaughlinFock.collectedFourData_10_3_15 line 387
  13. def OAI.LaughlinFock.collectedFourData_10_3_16 line 416
  14. def OAI.LaughlinFock.collectedFourData_10_3_17 line 453
  15. def OAI.LaughlinFock.collectedFourData_10_3_18 line 497
  16. def OAI.LaughlinFock.collectedFourData_10_3_19 line 547
  17. def OAI.LaughlinFock.collectedFourData_10_3_20 line 602