OAI/Analysis/LaughlinFock/Certificate13.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Certificate13.

  1. theorem OAI.LaughlinFock.fourYLower_13 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_13 line 88
  3. def OAI.LaughlinFock.fourHighestCache_13_0 line 97
  4. def OAI.LaughlinFock.fourHighestCache_13_1 line 104
  5. def OAI.LaughlinFock.fourHighestCache_13_2 line 111
  6. def OAI.LaughlinFock.fourHighestCache_13_3 line 118
  7. def OAI.LaughlinFock.fourHighestCache_13 line 124
  8. theorem OAI.LaughlinFock.fourHighestNumber_13_1 line 126
  9. theorem OAI.LaughlinFock.fourHighestNumber_13_3 line 132
  10. theorem OAI.LaughlinFock.fourHighestNumber_13_5 line 138
  11. theorem OAI.LaughlinFock.fourHighestNumber_13_7 line 144
  12. theorem OAI.LaughlinFock.fourHighestNumber_13_9 line 150
  13. theorem OAI.LaughlinFock.fourHighestNumber_13_11 line 156
  14. theorem OAI.LaughlinFock.fourHighestNumber_13_13 line 162
  15. theorem OAI.LaughlinFock.fourHighestChecked_13 line 168
  16. theorem OAI.LaughlinFock.fourZChecked_13 line 180
  17. theorem OAI.LaughlinFock.fourLDLChecked_13 line 189
  18. theorem OAI.LaughlinFock.fourPivotChecked_13 line 206
  19. theorem OAI.LaughlinFock.integer_certificate_13 line 210