OAI/Analysis/LaughlinFock/Sparse0802.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Sparse0802.

  1. def OAI.LaughlinFock.collectedFourData_8_0_17 line 8
  2. def OAI.LaughlinFock.collectedFourData_8_0_18 line 34
  3. def OAI.LaughlinFock.collectedFourData_8_0_19 line 66
  4. def OAI.LaughlinFock.collectedFourData_8_0_20 line 103
  5. def OAI.LaughlinFock.collectedFourData_8_0_21 line 144
  6. def OAI.LaughlinFock.collectedFourData_8_0_22 line 188
  7. def OAI.LaughlinFock.collectedFourData_8_0_23 line 234
  8. def OAI.LaughlinFock.collectedFourData_8_0_24 line 281
  9. def OAI.LaughlinFock.collectedFourData_8_0_25 line 313
  10. def OAI.LaughlinFock.collectedFourData_8_0_26 line 350
  11. def OAI.LaughlinFock.collectedFourData_8_0_27 line 391
  12. def OAI.LaughlinFock.collectedFourData_8_0_28 line 435
  13. def OAI.LaughlinFock.collectedFourData_8_0_29 line 481
  14. def OAI.LaughlinFock.collectedFourData_8_0_30 line 528
  15. def OAI.LaughlinFock.collectedFourData_8_0_31 line 565
  16. def OAI.LaughlinFock.collectedFourData_8_0_32 line 606