OAI/Analysis/LaughlinFock/Sparse1307.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

Sparse1307.

  1. def OAI.LaughlinFock.collectedFourData_13_3_30 line 8
  2. def OAI.LaughlinFock.collectedFourData_13_3_31 line 12
  3. def OAI.LaughlinFock.collectedFourData_13_3_32 line 20
  4. def OAI.LaughlinFock.collectedFourData_13_3_33 line 34
  5. def OAI.LaughlinFock.collectedFourData_13_3_34 line 55
  6. def OAI.LaughlinFock.collectedFourData_13_3_35 line 84
  7. def OAI.LaughlinFock.collectedFourData_13_3_36 line 121
  8. def OAI.LaughlinFock.collectedFourData_13_3_37 line 165
  9. def OAI.LaughlinFock.collectedFourData_13_3_38 line 215
  10. def OAI.LaughlinFock.collectedFourData_13_3_39 line 223
  11. def OAI.LaughlinFock.collectedFourData_13_3_40 line 237
  12. def OAI.LaughlinFock.collectedFourData_13_3_41 line 258
  13. def OAI.LaughlinFock.collectedFourData_13_3_42 line 287
  14. def OAI.LaughlinFock.collectedFourData_13_3_43 line 324
  15. def OAI.LaughlinFock.collectedFourData_13_3_44 line 368
  16. def OAI.LaughlinFock.collectedFourData_13_3_45 line 418
  17. def OAI.LaughlinFock.collectedFourData_13_3_46 line 432
  18. def OAI.LaughlinFock.collectedFourData_13_3_47 line 453
  19. def OAI.LaughlinFock.collectedFourData_13_3_48 line 482
  20. def OAI.LaughlinFock.collectedFourData_13_3_49 line 519
  21. def OAI.LaughlinFock.collectedFourData_13_3_50 line 563