OAI/Analysis/LaughlinFock/Sparse0909.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Sparse0909.

  1. def OAI.LaughlinFock.collectedFourData_9_2_31 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_2_32 line 65
  3. def OAI.LaughlinFock.collectedFourData_9_2_33 line 97
  4. def OAI.LaughlinFock.collectedFourData_9_2_34 line 136
  5. def OAI.LaughlinFock.collectedFourData_9_2_35 line 181
  6. def OAI.LaughlinFock.collectedFourData_9_2_36 line 231
  7. def OAI.LaughlinFock.collectedFourData_9_2_37 line 285
  8. def OAI.LaughlinFock.collectedFourData_9_2_38 line 342
  9. def OAI.LaughlinFock.collectedFourData_9_2_39 line 399
  10. def OAI.LaughlinFock.collectedFourData_9_2_40 line 438
  11. def OAI.LaughlinFock.collectedFourData_9_2_41 line 483
  12. def OAI.LaughlinFock.collectedFourData_9_2_42 line 533
  13. def OAI.LaughlinFock.collectedFourData_9_2_43 line 587