OAI/Analysis/LaughlinFock/Sparse0801.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse0801.

  1. def OAI.LaughlinFock.collectedFourData_8_0_0 line 9
  2. def OAI.LaughlinFock.collectedFourData_8_0_1 line 20
  3. def OAI.LaughlinFock.collectedFourData_8_0_2 line 39
  4. def OAI.LaughlinFock.collectedFourData_8_0_3 line 65
  5. def OAI.LaughlinFock.collectedFourData_8_0_4 line 97
  6. def OAI.LaughlinFock.collectedFourData_8_0_5 line 134
  7. def OAI.LaughlinFock.collectedFourData_8_0_6 line 175
  8. def OAI.LaughlinFock.collectedFourData_8_0_7 line 219
  9. def OAI.LaughlinFock.collectedFourData_8_0_8 line 265
  10. def OAI.LaughlinFock.collectedFourData_8_0_9 line 312
  11. def OAI.LaughlinFock.collectedFourData_8_0_10 line 331
  12. def OAI.LaughlinFock.collectedFourData_8_0_11 line 357
  13. def OAI.LaughlinFock.collectedFourData_8_0_12 line 389
  14. def OAI.LaughlinFock.collectedFourData_8_0_13 line 426
  15. def OAI.LaughlinFock.collectedFourData_8_0_14 line 467
  16. def OAI.LaughlinFock.collectedFourData_8_0_15 line 511
  17. def OAI.LaughlinFock.collectedFourData_8_0_16 line 557