OAI/Analysis/LaughlinFock/Sparse0905.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse0905.

  1. def OAI.LaughlinFock.collectedFourData_9_1_25 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_1_26 line 34
  3. def OAI.LaughlinFock.collectedFourData_9_1_27 line 67
  4. def OAI.LaughlinFock.collectedFourData_9_1_28 line 106
  5. def OAI.LaughlinFock.collectedFourData_9_1_29 line 150
  6. def OAI.LaughlinFock.collectedFourData_9_1_30 line 198
  7. def OAI.LaughlinFock.collectedFourData_9_1_31 line 249
  8. def OAI.LaughlinFock.collectedFourData_9_1_32 line 302
  9. def OAI.LaughlinFock.collectedFourData_9_1_33 line 335
  10. def OAI.LaughlinFock.collectedFourData_9_1_34 line 374
  11. def OAI.LaughlinFock.collectedFourData_9_1_35 line 418
  12. def OAI.LaughlinFock.collectedFourData_9_1_36 line 466
  13. def OAI.LaughlinFock.collectedFourData_9_1_37 line 517
  14. def OAI.LaughlinFock.collectedFourData_9_1_38 line 570