OAI/Analysis/LaughlinFock/Sparse1021.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Sparse1021.

  1. def OAI.LaughlinFock.collectedFourData_10_5_49 line 11
  2. def OAI.LaughlinFock.collectedFourData_10_5_50 line 62
  3. def OAI.LaughlinFock.collectedFourData_10_5_51 line 119
  4. def OAI.LaughlinFock.collectedFourData_10_5_52 line 176
  5. def OAI.LaughlinFock.collectedFourData_10_5_53 line 233
  6. def OAI.LaughlinFock.collectedFourData_10_5 line 290
  7. theorem OAI.LaughlinFock.collectedFourChecked_10_5 line 347
  8. def OAI.LaughlinFock.collectedFourData_10_6_0 line 350
  9. def OAI.LaughlinFock.collectedFourData_10_6_1 line 373
  10. def OAI.LaughlinFock.collectedFourData_10_6_2 line 403
  11. def OAI.LaughlinFock.collectedFourData_10_6_3 line 441
  12. def OAI.LaughlinFock.collectedFourData_10_6_4 line 464
  13. def OAI.LaughlinFock.collectedFourData_10_6_5 line 494
  14. def OAI.LaughlinFock.collectedFourData_10_6_6 line 532
  15. def OAI.LaughlinFock.collectedFourData_10_6_7 line 578
  16. def OAI.LaughlinFock.collectedFourData_10_6_8 line 601