OAI/Analysis/LaughlinFock/Sparse0915.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Sparse0915.

  1. def OAI.LaughlinFock.collectedFourData_9_3_54 line 12
  2. def OAI.LaughlinFock.collectedFourData_9_3_55 line 71
  3. def OAI.LaughlinFock.collectedFourData_9_3 line 130
  4. theorem OAI.LaughlinFock.collectedFourChecked_9_3 line 189
  5. def OAI.LaughlinFock.collectedFourData_9_4_0 line 192
  6. def OAI.LaughlinFock.collectedFourData_9_4_1 line 217
  7. def OAI.LaughlinFock.collectedFourData_9_4_2 line 250
  8. def OAI.LaughlinFock.collectedFourData_9_4_3 line 291
  9. def OAI.LaughlinFock.collectedFourData_9_4_4 line 339
  10. def OAI.LaughlinFock.collectedFourData_9_4_5 line 393
  11. def OAI.LaughlinFock.collectedFourData_9_4_6 line 418
  12. def OAI.LaughlinFock.collectedFourData_9_4_7 line 451
  13. def OAI.LaughlinFock.collectedFourData_9_4_8 line 492
  14. def OAI.LaughlinFock.collectedFourData_9_4_9 line 540
  15. def OAI.LaughlinFock.collectedFourData_9_4_10 line 594