OAI/Analysis/LaughlinFock/Sparse1316.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

Sparse1316.

  1. def OAI.LaughlinFock.collectedFourData_13_7_23 line 8
  2. def OAI.LaughlinFock.collectedFourData_13_7_24 line 32
  3. def OAI.LaughlinFock.collectedFourData_13_7_25 line 63
  4. def OAI.LaughlinFock.collectedFourData_13_7_26 line 102
  5. def OAI.LaughlinFock.collectedFourData_13_7_27 line 149
  6. def OAI.LaughlinFock.collectedFourData_13_7_28 line 158
  7. def OAI.LaughlinFock.collectedFourData_13_7_29 line 171
  8. def OAI.LaughlinFock.collectedFourData_13_7_30 line 189
  9. def OAI.LaughlinFock.collectedFourData_13_7_31 line 213
  10. def OAI.LaughlinFock.collectedFourData_13_7_32 line 244
  11. def OAI.LaughlinFock.collectedFourData_13_7_33 line 283
  12. def OAI.LaughlinFock.collectedFourData_13_7_34 line 330
  13. def OAI.LaughlinFock.collectedFourData_13_7_35 line 377
  14. def OAI.LaughlinFock.collectedFourData_13_7_36 line 386
  15. def OAI.LaughlinFock.collectedFourData_13_7_37 line 399
  16. def OAI.LaughlinFock.collectedFourData_13_7_38 line 417
  17. def OAI.LaughlinFock.collectedFourData_13_7_39 line 441
  18. def OAI.LaughlinFock.collectedFourData_13_7_40 line 472
  19. def OAI.LaughlinFock.collectedFourData_13_7_41 line 511
  20. def OAI.LaughlinFock.collectedFourData_13_7_42 line 558
  21. def OAI.LaughlinFock.collectedFourData_13_7_43 line 605