OAI/Analysis/LaughlinFock/Certificate11.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Certificate11.

  1. theorem OAI.LaughlinFock.fourYLower_11 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_11 line 69
  3. def OAI.LaughlinFock.fourHighestCache_11_0 line 78
  4. def OAI.LaughlinFock.fourHighestCache_11_1 line 85
  5. def OAI.LaughlinFock.fourHighestCache_11_2 line 92
  6. def OAI.LaughlinFock.fourHighestCache_11 line 96
  7. theorem OAI.LaughlinFock.fourHighestNumber_11_1 line 98
  8. theorem OAI.LaughlinFock.fourHighestNumber_11_3 line 104
  9. theorem OAI.LaughlinFock.fourHighestNumber_11_5 line 110
  10. theorem OAI.LaughlinFock.fourHighestNumber_11_7 line 116
  11. theorem OAI.LaughlinFock.fourHighestNumber_11_9 line 122
  12. theorem OAI.LaughlinFock.fourHighestNumber_11_11 line 128
  13. theorem OAI.LaughlinFock.fourHighestChecked_11 line 134
  14. theorem OAI.LaughlinFock.fourZChecked_11 line 145
  15. theorem OAI.LaughlinFock.fourLDLChecked_11 line 154
  16. theorem OAI.LaughlinFock.fourPivotChecked_11 line 171
  17. theorem OAI.LaughlinFock.integer_certificate_11 line 175