OAI/Analysis/LaughlinFock/Sparse0911.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Sparse0911.

  1. def OAI.LaughlinFock.collectedFourData_9_3_1 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_3_2 line 37
  3. def OAI.LaughlinFock.collectedFourData_9_3_3 line 74
  4. def OAI.LaughlinFock.collectedFourData_9_3_4 line 118
  5. def OAI.LaughlinFock.collectedFourData_9_3_5 line 168
  6. def OAI.LaughlinFock.collectedFourData_9_3_6 line 223
  7. def OAI.LaughlinFock.collectedFourData_9_3_7 line 244
  8. def OAI.LaughlinFock.collectedFourData_9_3_8 line 273
  9. def OAI.LaughlinFock.collectedFourData_9_3_9 line 310
  10. def OAI.LaughlinFock.collectedFourData_9_3_10 line 354
  11. def OAI.LaughlinFock.collectedFourData_9_3_11 line 404
  12. def OAI.LaughlinFock.collectedFourData_9_3_12 line 459
  13. def OAI.LaughlinFock.collectedFourData_9_3_13 line 518
  14. def OAI.LaughlinFock.collectedFourData_9_3_14 line 539
  15. def OAI.LaughlinFock.collectedFourData_9_3_15 line 568
  16. def OAI.LaughlinFock.collectedFourData_9_3_16 line 605