OAI/Analysis/LaughlinFock/Sparse1025.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Sparse1025.

  1. def OAI.LaughlinFock.collectedFourData_10_7_1 line 8
  2. def OAI.LaughlinFock.collectedFourData_10_7_2 line 39
  3. def OAI.LaughlinFock.collectedFourData_10_7_3 line 63
  4. def OAI.LaughlinFock.collectedFourData_10_7_4 line 94
  5. def OAI.LaughlinFock.collectedFourData_10_7_5 line 133
  6. def OAI.LaughlinFock.collectedFourData_10_7_6 line 157
  7. def OAI.LaughlinFock.collectedFourData_10_7_7 line 188
  8. def OAI.LaughlinFock.collectedFourData_10_7_8 line 227
  9. def OAI.LaughlinFock.collectedFourData_10_7_9 line 274
  10. def OAI.LaughlinFock.collectedFourData_10_7_10 line 298
  11. def OAI.LaughlinFock.collectedFourData_10_7_11 line 329
  12. def OAI.LaughlinFock.collectedFourData_10_7_12 line 368
  13. def OAI.LaughlinFock.collectedFourData_10_7_13 line 415
  14. def OAI.LaughlinFock.collectedFourData_10_7_14 line 462
  15. def OAI.LaughlinFock.collectedFourData_10_7_15 line 486
  16. def OAI.LaughlinFock.collectedFourData_10_7_16 line 517
  17. def OAI.LaughlinFock.collectedFourData_10_7_17 line 556
  18. def OAI.LaughlinFock.collectedFourData_10_7_18 line 603