OAI/Analysis/LaughlinFock/Sparse1017.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse1017.

  1. def OAI.LaughlinFock.collectedFourData_10_4_48 line 11
  2. def OAI.LaughlinFock.collectedFourData_10_4_49 line 70
  3. def OAI.LaughlinFock.collectedFourData_10_4_50 line 129
  4. def OAI.LaughlinFock.collectedFourData_10_4_51 line 170
  5. def OAI.LaughlinFock.collectedFourData_10_4_52 line 218
  6. def OAI.LaughlinFock.collectedFourData_10_4_53 line 272
  7. def OAI.LaughlinFock.collectedFourData_10_4_54 line 331
  8. def OAI.LaughlinFock.collectedFourData_10_4_55 line 390
  9. def OAI.LaughlinFock.collectedFourData_10_4 line 449
  10. theorem OAI.LaughlinFock.collectedFourChecked_10_4 line 508
  11. def OAI.LaughlinFock.collectedFourData_10_5_0 line 511
  12. def OAI.LaughlinFock.collectedFourData_10_5_1 line 532
  13. def OAI.LaughlinFock.collectedFourData_10_5_2 line 560
  14. def OAI.LaughlinFock.collectedFourData_10_5_3 line 596