OAI/Analysis/LaughlinFock/Sparse0928.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Sparse0928.

  1. def OAI.LaughlinFock.collectedFourData_9_7_5 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_7_6 line 39
  3. def OAI.LaughlinFock.collectedFourData_9_7_7 line 78
  4. def OAI.LaughlinFock.collectedFourData_9_7_8 line 125
  5. def OAI.LaughlinFock.collectedFourData_9_7_9 line 172
  6. def OAI.LaughlinFock.collectedFourData_9_7_10 line 203
  7. def OAI.LaughlinFock.collectedFourData_9_7_11 line 242
  8. def OAI.LaughlinFock.collectedFourData_9_7_12 line 289
  9. def OAI.LaughlinFock.collectedFourData_9_7_13 line 336
  10. def OAI.LaughlinFock.collectedFourData_9_7_14 line 383
  11. def OAI.LaughlinFock.collectedFourData_9_7_15 line 414
  12. def OAI.LaughlinFock.collectedFourData_9_7_16 line 453
  13. def OAI.LaughlinFock.collectedFourData_9_7_17 line 500
  14. def OAI.LaughlinFock.collectedFourData_9_7_18 line 547
  15. def OAI.LaughlinFock.collectedFourData_9_7_19 line 594