OAI/Analysis/LaughlinFock/Certificate07.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Certificate07.

  1. theorem OAI.LaughlinFock.fourYLower_7 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_7 line 40
  3. def OAI.LaughlinFock.fourHighestCache_7_0 line 49
  4. def OAI.LaughlinFock.fourHighestCache_7 line 54
  5. theorem OAI.LaughlinFock.fourHighestChecked_7 line 56
  6. theorem OAI.LaughlinFock.fourZChecked_7 line 62
  7. theorem OAI.LaughlinFock.fourLDLChecked_7 line 71
  8. theorem OAI.LaughlinFock.fourPivotChecked_7 line 88
  9. theorem OAI.LaughlinFock.integer_certificate_7 line 92