OAI/Analysis/LaughlinFock/Sparse0916.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse0916.

  1. def OAI.LaughlinFock.collectedFourData_9_4_11 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_4_12 line 33
  3. def OAI.LaughlinFock.collectedFourData_9_4_13 line 66
  4. def OAI.LaughlinFock.collectedFourData_9_4_14 line 107
  5. def OAI.LaughlinFock.collectedFourData_9_4_15 line 155
  6. def OAI.LaughlinFock.collectedFourData_9_4_16 line 209
  7. def OAI.LaughlinFock.collectedFourData_9_4_17 line 268
  8. def OAI.LaughlinFock.collectedFourData_9_4_18 line 327
  9. def OAI.LaughlinFock.collectedFourData_9_4_19 line 352
  10. def OAI.LaughlinFock.collectedFourData_9_4_20 line 385
  11. def OAI.LaughlinFock.collectedFourData_9_4_21 line 426
  12. def OAI.LaughlinFock.collectedFourData_9_4_22 line 474
  13. def OAI.LaughlinFock.collectedFourData_9_4_23 line 528
  14. def OAI.LaughlinFock.collectedFourData_9_4_24 line 587