OAI/Analysis/LaughlinFock/Sparse0923.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse0923.

  1. def OAI.LaughlinFock.collectedFourData_9_5_44 line 11
  2. def OAI.LaughlinFock.collectedFourData_9_5_45 line 68
  3. def OAI.LaughlinFock.collectedFourData_9_5_46 line 125
  4. def OAI.LaughlinFock.collectedFourData_9_5_47 line 182
  5. def OAI.LaughlinFock.collectedFourData_9_5_48 line 226
  6. def OAI.LaughlinFock.collectedFourData_9_5_49 line 277
  7. def OAI.LaughlinFock.collectedFourData_9_5_50 line 334
  8. def OAI.LaughlinFock.collectedFourData_9_5_51 line 391
  9. def OAI.LaughlinFock.collectedFourData_9_5_52 line 448
  10. def OAI.LaughlinFock.collectedFourData_9_5_53 line 505
  11. def OAI.LaughlinFock.collectedFourData_9_5 line 562
  12. theorem OAI.LaughlinFock.collectedFourChecked_9_5 line 619