OAI/Analysis/LaughlinFock/Sparse1312.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse1312.

  1. def OAI.LaughlinFock.collectedFourData_13_5_36 line 8
  2. def OAI.LaughlinFock.collectedFourData_13_5_37 line 52
  3. def OAI.LaughlinFock.collectedFourData_13_5_38 line 103
  4. def OAI.LaughlinFock.collectedFourData_13_5_39 line 160
  5. def OAI.LaughlinFock.collectedFourData_13_5_40 line 170
  6. def OAI.LaughlinFock.collectedFourData_13_5_41 line 185
  7. def OAI.LaughlinFock.collectedFourData_13_5_42 line 206
  8. def OAI.LaughlinFock.collectedFourData_13_5_43 line 234
  9. def OAI.LaughlinFock.collectedFourData_13_5_44 line 270
  10. def OAI.LaughlinFock.collectedFourData_13_5_45 line 314
  11. def OAI.LaughlinFock.collectedFourData_13_5_46 line 365
  12. def OAI.LaughlinFock.collectedFourData_13_5_47 line 422
  13. def OAI.LaughlinFock.collectedFourData_13_5_48 line 437
  14. def OAI.LaughlinFock.collectedFourData_13_5_49 line 458
  15. def OAI.LaughlinFock.collectedFourData_13_5_50 line 486
  16. def OAI.LaughlinFock.collectedFourData_13_5_51 line 522
  17. def OAI.LaughlinFock.collectedFourData_13_5_52 line 566