OAI/Analysis/LaughlinFock/Certificate10.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Certificate10.

  1. theorem OAI.LaughlinFock.fourYLower_10 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_10 line 53
  3. def OAI.LaughlinFock.fourHighestCache_10_0 line 62
  4. def OAI.LaughlinFock.fourHighestCache_10_1 line 69
  5. def OAI.LaughlinFock.fourHighestCache_10 line 74
  6. theorem OAI.LaughlinFock.fourHighestNumber_10_1 line 76
  7. theorem OAI.LaughlinFock.fourHighestNumber_10_3 line 82
  8. theorem OAI.LaughlinFock.fourHighestNumber_10_5 line 88
  9. theorem OAI.LaughlinFock.fourHighestNumber_10_7 line 94
  10. theorem OAI.LaughlinFock.fourHighestNumber_10_9 line 100
  11. theorem OAI.LaughlinFock.fourHighestChecked_10 line 106
  12. theorem OAI.LaughlinFock.fourZChecked_10 line 116
  13. theorem OAI.LaughlinFock.fourLDLChecked_10 line 125
  14. theorem OAI.LaughlinFock.fourPivotChecked_10 line 142
  15. theorem OAI.LaughlinFock.integer_certificate_10 line 146