OAI/Analysis/LaughlinFock/Sparse1002.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse1002.

  1. def OAI.LaughlinFock.collectedFourData_10_0_23 line 8
  2. def OAI.LaughlinFock.collectedFourData_10_0_24 line 52
  3. def OAI.LaughlinFock.collectedFourData_10_0_25 line 71
  4. def OAI.LaughlinFock.collectedFourData_10_0_26 line 97
  5. def OAI.LaughlinFock.collectedFourData_10_0_27 line 129
  6. def OAI.LaughlinFock.collectedFourData_10_0_28 line 166
  7. def OAI.LaughlinFock.collectedFourData_10_0_29 line 207
  8. def OAI.LaughlinFock.collectedFourData_10_0_30 line 251
  9. def OAI.LaughlinFock.collectedFourData_10_0_31 line 277
  10. def OAI.LaughlinFock.collectedFourData_10_0_32 line 309
  11. def OAI.LaughlinFock.collectedFourData_10_0_33 line 346
  12. def OAI.LaughlinFock.collectedFourData_10_0_34 line 387
  13. def OAI.LaughlinFock.collectedFourData_10_0_35 line 431
  14. def OAI.LaughlinFock.collectedFourData_10_0_36 line 463
  15. def OAI.LaughlinFock.collectedFourData_10_0_37 line 500
  16. def OAI.LaughlinFock.collectedFourData_10_0_38 line 541
  17. def OAI.LaughlinFock.collectedFourData_10_0_39 line 585