OAI/Analysis/LaughlinFock/Sparse1006.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Sparse1006.

  1. def OAI.LaughlinFock.collectedFourData_10_1_47 line 10
  2. def OAI.LaughlinFock.collectedFourData_10_1_48 line 54
  3. def OAI.LaughlinFock.collectedFourData_10_1_49 line 102
  4. def OAI.LaughlinFock.collectedFourData_10_1 line 153
  5. theorem OAI.LaughlinFock.collectedFourChecked_10_1 line 206
  6. def OAI.LaughlinFock.collectedFourData_10_2_0 line 209
  7. def OAI.LaughlinFock.collectedFourData_10_2_1 line 218
  8. def OAI.LaughlinFock.collectedFourData_10_2_2 line 234
  9. def OAI.LaughlinFock.collectedFourData_10_2_3 line 258
  10. def OAI.LaughlinFock.collectedFourData_10_2_4 line 290
  11. def OAI.LaughlinFock.collectedFourData_10_2_5 line 329
  12. def OAI.LaughlinFock.collectedFourData_10_2_6 line 374
  13. def OAI.LaughlinFock.collectedFourData_10_2_7 line 424
  14. def OAI.LaughlinFock.collectedFourData_10_2_8 line 433
  15. def OAI.LaughlinFock.collectedFourData_10_2_9 line 449
  16. def OAI.LaughlinFock.collectedFourData_10_2_10 line 473
  17. def OAI.LaughlinFock.collectedFourData_10_2_11 line 505
  18. def OAI.LaughlinFock.collectedFourData_10_2_12 line 544
  19. def OAI.LaughlinFock.collectedFourData_10_2_13 line 589