OAI/Analysis/LaughlinFock/Sparse0925.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse0925.

  1. def OAI.LaughlinFock.collectedFourData_9_6_15 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_6_16 line 61
  3. def OAI.LaughlinFock.collectedFourData_9_6_17 line 114
  4. def OAI.LaughlinFock.collectedFourData_9_6_18 line 167
  5. def OAI.LaughlinFock.collectedFourData_9_6_19 line 197
  6. def OAI.LaughlinFock.collectedFourData_9_6_20 line 235
  7. def OAI.LaughlinFock.collectedFourData_9_6_21 line 281
  8. def OAI.LaughlinFock.collectedFourData_9_6_22 line 334
  9. def OAI.LaughlinFock.collectedFourData_9_6_23 line 387
  10. def OAI.LaughlinFock.collectedFourData_9_6_24 line 440
  11. def OAI.LaughlinFock.collectedFourData_9_6_25 line 493
  12. def OAI.LaughlinFock.collectedFourData_9_6_26 line 523
  13. def OAI.LaughlinFock.collectedFourData_9_6_27 line 561
  14. def OAI.LaughlinFock.collectedFourData_9_6_28 line 607