OAI/Analysis/LaughlinFock/Sparse1024.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse1024.

  1. def OAI.LaughlinFock.collectedFourData_10_6_39 line 10
  2. def OAI.LaughlinFock.collectedFourData_10_6_40 line 63
  3. def OAI.LaughlinFock.collectedFourData_10_6_41 line 116
  4. def OAI.LaughlinFock.collectedFourData_10_6_42 line 169
  5. def OAI.LaughlinFock.collectedFourData_10_6_43 line 199
  6. def OAI.LaughlinFock.collectedFourData_10_6_44 line 237
  7. def OAI.LaughlinFock.collectedFourData_10_6_45 line 283
  8. def OAI.LaughlinFock.collectedFourData_10_6_46 line 336
  9. def OAI.LaughlinFock.collectedFourData_10_6_47 line 389
  10. def OAI.LaughlinFock.collectedFourData_10_6_48 line 442
  11. def OAI.LaughlinFock.collectedFourData_10_6_49 line 495
  12. def OAI.LaughlinFock.collectedFourData_10_6 line 548
  13. theorem OAI.LaughlinFock.collectedFourChecked_10_6 line 601
  14. def OAI.LaughlinFock.collectedFourData_10_7_0 line 604