OAI/Analysis/LaughlinFock/Certificate09.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Certificate09.

  1. theorem OAI.LaughlinFock.fourYLower_9 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_9 line 53
  3. def OAI.LaughlinFock.fourHighestCache_9_0 line 62
  4. def OAI.LaughlinFock.fourHighestCache_9_1 line 69
  5. def OAI.LaughlinFock.fourHighestCache_9 line 73
  6. theorem OAI.LaughlinFock.fourHighestNumber_9_1 line 75
  7. theorem OAI.LaughlinFock.fourHighestNumber_9_3 line 81
  8. theorem OAI.LaughlinFock.fourHighestNumber_9_5 line 87
  9. theorem OAI.LaughlinFock.fourHighestNumber_9_7 line 93
  10. theorem OAI.LaughlinFock.fourHighestNumber_9_9 line 99
  11. theorem OAI.LaughlinFock.fourHighestChecked_9 line 105
  12. theorem OAI.LaughlinFock.fourZChecked_9 line 115
  13. theorem OAI.LaughlinFock.fourLDLChecked_9 line 124
  14. theorem OAI.LaughlinFock.fourPivotChecked_9 line 141
  15. theorem OAI.LaughlinFock.integer_certificate_9 line 145