OAI/Analysis/LaughlinFock/Sparse1109.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Sparse1109.

  1. def OAI.LaughlinFock.collectedFourData_11_3_10 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_3_11 line 45
  3. def OAI.LaughlinFock.collectedFourData_11_3_12 line 89
  4. def OAI.LaughlinFock.collectedFourData_11_3_13 line 139
  5. def OAI.LaughlinFock.collectedFourData_11_3_14 line 147
  6. def OAI.LaughlinFock.collectedFourData_11_3_15 line 161
  7. def OAI.LaughlinFock.collectedFourData_11_3_16 line 182
  8. def OAI.LaughlinFock.collectedFourData_11_3_17 line 211
  9. def OAI.LaughlinFock.collectedFourData_11_3_18 line 248
  10. def OAI.LaughlinFock.collectedFourData_11_3_19 line 292
  11. def OAI.LaughlinFock.collectedFourData_11_3_20 line 342
  12. def OAI.LaughlinFock.collectedFourData_11_3_21 line 397
  13. def OAI.LaughlinFock.collectedFourData_11_3_22 line 405
  14. def OAI.LaughlinFock.collectedFourData_11_3_23 line 419
  15. def OAI.LaughlinFock.collectedFourData_11_3_24 line 440
  16. def OAI.LaughlinFock.collectedFourData_11_3_25 line 469
  17. def OAI.LaughlinFock.collectedFourData_11_3_26 line 506
  18. def OAI.LaughlinFock.collectedFourData_11_3_27 line 550
  19. def OAI.LaughlinFock.collectedFourData_11_3_28 line 600