OAI/Analysis/LaughlinFock/Certificate14.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

Certificate14.

  1. theorem OAI.LaughlinFock.fourYLower_14 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_14 line 88
  3. def OAI.LaughlinFock.fourHighestCache_14_0 line 97
  4. def OAI.LaughlinFock.fourHighestCache_14_1 line 104
  5. def OAI.LaughlinFock.fourHighestCache_14_2 line 111
  6. def OAI.LaughlinFock.fourHighestCache_14_3 line 118
  7. def OAI.LaughlinFock.fourHighestCache_14_4 line 125
  8. def OAI.LaughlinFock.fourHighestCache_14 line 130
  9. theorem OAI.LaughlinFock.fourHighestNumber_14_1 line 132
  10. theorem OAI.LaughlinFock.fourHighestNumber_14_3 line 138
  11. theorem OAI.LaughlinFock.fourHighestNumber_14_5 line 144
  12. theorem OAI.LaughlinFock.fourHighestNumber_14_7 line 150
  13. theorem OAI.LaughlinFock.fourHighestNumber_14_9 line 156
  14. theorem OAI.LaughlinFock.fourHighestNumber_14_11 line 162
  15. theorem OAI.LaughlinFock.fourHighestNumber_14_13 line 168
  16. theorem OAI.LaughlinFock.fourHighestChecked_14 line 174
  17. theorem OAI.LaughlinFock.fourZChecked_14 line 186
  18. theorem OAI.LaughlinFock.fourLDLChecked_14 line 195
  19. theorem OAI.LaughlinFock.fourPivotChecked_14 line 212
  20. theorem OAI.LaughlinFock.integer_certificate_14 line 216