OAI/Analysis/LaughlinFock/Sparse1019.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Sparse1019.

  1. def OAI.LaughlinFock.collectedFourData_10_5_21 line 8
  2. def OAI.LaughlinFock.collectedFourData_10_5_22 line 65
  3. def OAI.LaughlinFock.collectedFourData_10_5_23 line 86
  4. def OAI.LaughlinFock.collectedFourData_10_5_24 line 114
  5. def OAI.LaughlinFock.collectedFourData_10_5_25 line 150
  6. def OAI.LaughlinFock.collectedFourData_10_5_26 line 194
  7. def OAI.LaughlinFock.collectedFourData_10_5_27 line 245
  8. def OAI.LaughlinFock.collectedFourData_10_5_28 line 302
  9. def OAI.LaughlinFock.collectedFourData_10_5_29 line 359
  10. def OAI.LaughlinFock.collectedFourData_10_5_30 line 416
  11. def OAI.LaughlinFock.collectedFourData_10_5_31 line 437
  12. def OAI.LaughlinFock.collectedFourData_10_5_32 line 465
  13. def OAI.LaughlinFock.collectedFourData_10_5_33 line 501
  14. def OAI.LaughlinFock.collectedFourData_10_5_34 line 545
  15. def OAI.LaughlinFock.collectedFourData_10_5_35 line 596