OAI/Analysis/LaughlinFock/Sparse1111.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Sparse1111.

  1. def OAI.LaughlinFock.collectedFourData_11_3_44 line 10
  2. def OAI.LaughlinFock.collectedFourData_11_3_45 line 69
  3. def OAI.LaughlinFock.collectedFourData_11_3_46 line 98
  4. def OAI.LaughlinFock.collectedFourData_11_3_47 line 135
  5. def OAI.LaughlinFock.collectedFourData_11_3_48 line 179
  6. def OAI.LaughlinFock.collectedFourData_11_3_49 line 229
  7. def OAI.LaughlinFock.collectedFourData_11_3_50 line 284
  8. def OAI.LaughlinFock.collectedFourData_11_3_51 line 343
  9. def OAI.LaughlinFock.collectedFourData_11_3_52 line 380
  10. def OAI.LaughlinFock.collectedFourData_11_3_53 line 424
  11. def OAI.LaughlinFock.collectedFourData_11_3_54 line 474
  12. def OAI.LaughlinFock.collectedFourData_11_3_55 line 529
  13. def OAI.LaughlinFock.collectedFourData_11_3 line 588
  14. theorem OAI.LaughlinFock.collectedFourChecked_11_3 line 647