OAI/Analysis/LaughlinFock/Sparse0907.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse0907.

  1. def OAI.LaughlinFock.collectedFourData_9_2_0 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_2_1 line 24
  3. def OAI.LaughlinFock.collectedFourData_9_2_2 line 48
  4. def OAI.LaughlinFock.collectedFourData_9_2_3 line 80
  5. def OAI.LaughlinFock.collectedFourData_9_2_4 line 119
  6. def OAI.LaughlinFock.collectedFourData_9_2_5 line 164
  7. def OAI.LaughlinFock.collectedFourData_9_2_6 line 214
  8. def OAI.LaughlinFock.collectedFourData_9_2_7 line 268
  9. def OAI.LaughlinFock.collectedFourData_9_2_8 line 284
  10. def OAI.LaughlinFock.collectedFourData_9_2_9 line 308
  11. def OAI.LaughlinFock.collectedFourData_9_2_10 line 340
  12. def OAI.LaughlinFock.collectedFourData_9_2_11 line 379
  13. def OAI.LaughlinFock.collectedFourData_9_2_12 line 424
  14. def OAI.LaughlinFock.collectedFourData_9_2_13 line 474
  15. def OAI.LaughlinFock.collectedFourData_9_2_14 line 528
  16. def OAI.LaughlinFock.collectedFourData_9_2_15 line 585
  17. def OAI.LaughlinFock.collectedFourData_9_2_16 line 601