OAI/Analysis/LaughlinFock/Sparse1305.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Sparse1305.

  1. def OAI.LaughlinFock.collectedFourData_13_2_35 line 8
  2. def OAI.LaughlinFock.collectedFourData_13_2_36 line 32
  3. def OAI.LaughlinFock.collectedFourData_13_2_37 line 64
  4. def OAI.LaughlinFock.collectedFourData_13_2_38 line 103
  5. def OAI.LaughlinFock.collectedFourData_13_2_39 line 148
  6. def OAI.LaughlinFock.collectedFourData_13_2_40 line 157
  7. def OAI.LaughlinFock.collectedFourData_13_2_41 line 173
  8. def OAI.LaughlinFock.collectedFourData_13_2_42 line 197
  9. def OAI.LaughlinFock.collectedFourData_13_2_43 line 229
  10. def OAI.LaughlinFock.collectedFourData_13_2_44 line 268
  11. def OAI.LaughlinFock.collectedFourData_13_2_45 line 313
  12. def OAI.LaughlinFock.collectedFourData_13_2_46 line 329
  13. def OAI.LaughlinFock.collectedFourData_13_2_47 line 353
  14. def OAI.LaughlinFock.collectedFourData_13_2_48 line 385
  15. def OAI.LaughlinFock.collectedFourData_13_2_49 line 424
  16. def OAI.LaughlinFock.collectedFourData_13_2_50 line 469
  17. def OAI.LaughlinFock.collectedFourData_13_2_51 line 493
  18. def OAI.LaughlinFock.collectedFourData_13_2_52 line 525
  19. def OAI.LaughlinFock.collectedFourData_13_2_53 line 564