OAI/Analysis/LaughlinFock/Sparse0924.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Sparse0924.

  1. def OAI.LaughlinFock.collectedFourData_9_6_0 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_6_1 line 38
  3. def OAI.LaughlinFock.collectedFourData_9_6_2 line 76
  4. def OAI.LaughlinFock.collectedFourData_9_6_3 line 122
  5. def OAI.LaughlinFock.collectedFourData_9_6_4 line 152
  6. def OAI.LaughlinFock.collectedFourData_9_6_5 line 190
  7. def OAI.LaughlinFock.collectedFourData_9_6_6 line 236
  8. def OAI.LaughlinFock.collectedFourData_9_6_7 line 289
  9. def OAI.LaughlinFock.collectedFourData_9_6_8 line 319
  10. def OAI.LaughlinFock.collectedFourData_9_6_9 line 357
  11. def OAI.LaughlinFock.collectedFourData_9_6_10 line 403
  12. def OAI.LaughlinFock.collectedFourData_9_6_11 line 456
  13. def OAI.LaughlinFock.collectedFourData_9_6_12 line 509
  14. def OAI.LaughlinFock.collectedFourData_9_6_13 line 539
  15. def OAI.LaughlinFock.collectedFourData_9_6_14 line 577