OAI/Analysis/LaughlinFock/Sparse0906.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Sparse0906.

  1. def OAI.LaughlinFock.collectedFourData_9_1_39 line 10
  2. def OAI.LaughlinFock.collectedFourData_9_1_40 line 54
  3. def OAI.LaughlinFock.collectedFourData_9_1_41 line 102
  4. def OAI.LaughlinFock.collectedFourData_9_1_42 line 153
  5. def OAI.LaughlinFock.collectedFourData_9_1_43 line 206
  6. def OAI.LaughlinFock.collectedFourData_9_1_44 line 250
  7. def OAI.LaughlinFock.collectedFourData_9_1_45 line 298
  8. def OAI.LaughlinFock.collectedFourData_9_1_46 line 349
  9. def OAI.LaughlinFock.collectedFourData_9_1_47 line 402
  10. def OAI.LaughlinFock.collectedFourData_9_1_48 line 450
  11. def OAI.LaughlinFock.collectedFourData_9_1_49 line 501
  12. def OAI.LaughlinFock.collectedFourData_9_1 line 554
  13. theorem OAI.LaughlinFock.collectedFourChecked_9_1 line 607