OAI/Analysis/LaughlinFock/Sparse1020.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Sparse1020.

  1. def OAI.LaughlinFock.collectedFourData_10_5_36 line 8
  2. def OAI.LaughlinFock.collectedFourData_10_5_37 line 65
  3. def OAI.LaughlinFock.collectedFourData_10_5_38 line 122
  4. def OAI.LaughlinFock.collectedFourData_10_5_39 line 179
  5. def OAI.LaughlinFock.collectedFourData_10_5_40 line 207
  6. def OAI.LaughlinFock.collectedFourData_10_5_41 line 243
  7. def OAI.LaughlinFock.collectedFourData_10_5_42 line 287
  8. def OAI.LaughlinFock.collectedFourData_10_5_43 line 338
  9. def OAI.LaughlinFock.collectedFourData_10_5_44 line 395
  10. def OAI.LaughlinFock.collectedFourData_10_5_45 line 452
  11. def OAI.LaughlinFock.collectedFourData_10_5_46 line 509
  12. def OAI.LaughlinFock.collectedFourData_10_5_47 line 566
  13. def OAI.LaughlinFock.collectedFourData_10_5_48 line 602