OAI/Geometry/Convex/GeneralMahler/Segment/FarArc.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Angular bounds in tail cases.

  1. lemma OAI.GeneralMahler.SCal.SE.arcBound line 11
  2. lemma OAI.GeneralMahler.SCal.SE.fbase line 65
  3. lemma OAI.GeneralMahler.SCal.SE.sh11 line 74
  4. lemma OAI.GeneralMahler.SCal.SE.arc11 line 77
  5. lemma OAI.GeneralMahler.SCal.SE.cb_mono line 92
  6. lemma OAI.GeneralMahler.SCal.SE.arc30 line 95