OAI/Analysis/LaughlinFock/Sparse1008.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse1008.

  1. def OAI.LaughlinFock.collectedFourData_10_2_31 line 8
  2. def OAI.LaughlinFock.collectedFourData_10_2_32 line 65
  3. def OAI.LaughlinFock.collectedFourData_10_2_33 line 89
  4. def OAI.LaughlinFock.collectedFourData_10_2_34 line 121
  5. def OAI.LaughlinFock.collectedFourData_10_2_35 line 160
  6. def OAI.LaughlinFock.collectedFourData_10_2_36 line 205
  7. def OAI.LaughlinFock.collectedFourData_10_2_37 line 255
  8. def OAI.LaughlinFock.collectedFourData_10_2_38 line 309
  9. def OAI.LaughlinFock.collectedFourData_10_2_39 line 366
  10. def OAI.LaughlinFock.collectedFourData_10_2_40 line 398
  11. def OAI.LaughlinFock.collectedFourData_10_2_41 line 437
  12. def OAI.LaughlinFock.collectedFourData_10_2_42 line 482
  13. def OAI.LaughlinFock.collectedFourData_10_2_43 line 532
  14. def OAI.LaughlinFock.collectedFourData_10_2_44 line 586