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

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

§08 the unbounded segments, central-with-distant and tails opposite.

  1. lemma OAI.GeneralMahler.SCal.SE.Psmall line 11
  2. lemma OAI.GeneralMahler.SCal.SE.sCase1 line 23
  3. lemma OAI.GeneralMahler.SCal.SE.sCase2 line 73