OAI/Analysis/LaughlinFock/Certificate08.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Certificate08.

  1. theorem OAI.LaughlinFock.fourYLower_8 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_8 line 40
  3. def OAI.LaughlinFock.fourHighestCache_8_0 line 49
  4. def OAI.LaughlinFock.fourHighestCache_8 line 55
  5. theorem OAI.LaughlinFock.fourHighestNumber_8_1 line 57
  6. theorem OAI.LaughlinFock.fourHighestNumber_8_3 line 63
  7. theorem OAI.LaughlinFock.fourHighestNumber_8_5 line 69
  8. theorem OAI.LaughlinFock.fourHighestNumber_8_7 line 75
  9. theorem OAI.LaughlinFock.fourHighestChecked_8 line 81
  10. theorem OAI.LaughlinFock.fourZChecked_8 line 90
  11. theorem OAI.LaughlinFock.fourLDLChecked_8 line 99
  12. theorem OAI.LaughlinFock.fourPivotChecked_8 line 116
  13. theorem OAI.LaughlinFock.integer_certificate_8 line 120