OAI/Analysis/LaughlinFock/Certificate05.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Certificate05.

  1. theorem OAI.LaughlinFock.fourYLower_5 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_5 line 30
  3. def OAI.LaughlinFock.fourHighestCache_5_0 line 39
  4. def OAI.LaughlinFock.fourHighestCache_5 line 43
  5. theorem OAI.LaughlinFock.fourHighestChecked_5 line 45
  6. theorem OAI.LaughlinFock.fourZChecked_5 line 51
  7. theorem OAI.LaughlinFock.fourLDLChecked_5 line 60
  8. theorem OAI.LaughlinFock.fourPivotChecked_5 line 77
  9. theorem OAI.LaughlinFock.integer_certificate_5 line 81