OAI/Analysis/LaughlinFock/Sparse1104.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Sparse1104.

  1. def OAI.LaughlinFock.collectedFourData_11_1_25 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_1_26 line 18
  3. def OAI.LaughlinFock.collectedFourData_11_1_27 line 36
  4. def OAI.LaughlinFock.collectedFourData_11_1_28 line 62
  5. def OAI.LaughlinFock.collectedFourData_11_1_29 line 95
  6. def OAI.LaughlinFock.collectedFourData_11_1_30 line 134
  7. def OAI.LaughlinFock.collectedFourData_11_1_31 line 178
  8. def OAI.LaughlinFock.collectedFourData_11_1_32 line 226
  9. def OAI.LaughlinFock.collectedFourData_11_1_33 line 244
  10. def OAI.LaughlinFock.collectedFourData_11_1_34 line 270
  11. def OAI.LaughlinFock.collectedFourData_11_1_35 line 303
  12. def OAI.LaughlinFock.collectedFourData_11_1_36 line 342
  13. def OAI.LaughlinFock.collectedFourData_11_1_37 line 386
  14. def OAI.LaughlinFock.collectedFourData_11_1_38 line 434
  15. def OAI.LaughlinFock.collectedFourData_11_1_39 line 460
  16. def OAI.LaughlinFock.collectedFourData_11_1_40 line 493
  17. def OAI.LaughlinFock.collectedFourData_11_1_41 line 532
  18. def OAI.LaughlinFock.collectedFourData_11_1_42 line 576