OAI/Analysis/LaughlinFock/Certificate12.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Certificate12.

  1. theorem OAI.LaughlinFock.fourYLower_12 line 13
  2. theorem OAI.LaughlinFock.fourYChecked_12 line 69
  3. def OAI.LaughlinFock.fourHighestCache_12_0 line 78
  4. def OAI.LaughlinFock.fourHighestCache_12_1 line 85
  5. def OAI.LaughlinFock.fourHighestCache_12_2 line 92
  6. def OAI.LaughlinFock.fourHighestCache_12 line 98
  7. theorem OAI.LaughlinFock.fourHighestChecked_12 line 100
  8. theorem OAI.LaughlinFock.fourZChecked_12 line 106
  9. theorem OAI.LaughlinFock.fourLDLChecked_12 line 115
  10. theorem OAI.LaughlinFock.fourPivotChecked_12 line 132
  11. theorem OAI.LaughlinFock.integer_certificate_12 line 136