OAI/Analysis/LaughlinFock/Sparse0929.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse0929.

  1. def OAI.LaughlinFock.collectedFourData_9_7_20 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_7_21 line 39
  3. def OAI.LaughlinFock.collectedFourData_9_7_22 line 78
  4. def OAI.LaughlinFock.collectedFourData_9_7_23 line 125
  5. def OAI.LaughlinFock.collectedFourData_9_7_24 line 172
  6. def OAI.LaughlinFock.collectedFourData_9_7_25 line 219
  7. def OAI.LaughlinFock.collectedFourData_9_7_26 line 266
  8. def OAI.LaughlinFock.collectedFourData_9_7_27 line 313
  9. def OAI.LaughlinFock.collectedFourData_9_7_28 line 344
  10. def OAI.LaughlinFock.collectedFourData_9_7_29 line 383
  11. def OAI.LaughlinFock.collectedFourData_9_7_30 line 430
  12. def OAI.LaughlinFock.collectedFourData_9_7_31 line 477
  13. def OAI.LaughlinFock.collectedFourData_9_7_32 line 524
  14. def OAI.LaughlinFock.collectedFourData_9_7_33 line 571