OAI/Analysis/Laughlin/ThreeBody/Basic.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Laughlin.Certificate.threeBody_2 line 7
  2. theorem OAI.Laughlin.Certificate.threeBody_4 line 9
  3. theorem OAI.Laughlin.Certificate.threeBody_5 line 11
  4. theorem OAI.Laughlin.Certificate.threeBody_6 line 13
  5. theorem OAI.Laughlin.Certificate.threeBody_7 line 15
  6. theorem OAI.Laughlin.Certificate.threeBody_8 line 17
  7. theorem OAI.Laughlin.Certificate.threeBody_9 line 19
  8. theorem OAI.Laughlin.Certificate.threeBody_10 line 21
  9. theorem OAI.Laughlin.Certificate.threeBody_11 line 23
  10. theorem OAI.Laughlin.Certificate.threeBody_12 line 25
  11. theorem OAI.Laughlin.Certificate.threeBody_13 line 27
  12. theorem OAI.Laughlin.Certificate.threeBody_14 line 29
  13. theorem OAI.Laughlin.Certificate.threeBody_15 line 31
  14. theorem OAI.Laughlin.Certificate.threeBody_certificate line 33