OAI/Analysis/LaughlinFock/Sparse0804.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse0804.

  1. def OAI.LaughlinFock.collectedFourData_8_1_3 line 8
  2. def OAI.LaughlinFock.collectedFourData_8_1_4 line 47
  3. def OAI.LaughlinFock.collectedFourData_8_1_5 line 91
  4. def OAI.LaughlinFock.collectedFourData_8_1_6 line 139
  5. def OAI.LaughlinFock.collectedFourData_8_1_7 line 190
  6. def OAI.LaughlinFock.collectedFourData_8_1_8 line 243
  7. def OAI.LaughlinFock.collectedFourData_8_1_9 line 261
  8. def OAI.LaughlinFock.collectedFourData_8_1_10 line 287
  9. def OAI.LaughlinFock.collectedFourData_8_1_11 line 320
  10. def OAI.LaughlinFock.collectedFourData_8_1_12 line 359
  11. def OAI.LaughlinFock.collectedFourData_8_1_13 line 403
  12. def OAI.LaughlinFock.collectedFourData_8_1_14 line 451
  13. def OAI.LaughlinFock.collectedFourData_8_1_15 line 502
  14. def OAI.LaughlinFock.collectedFourData_8_1_16 line 555