OAI/Geometry/Convex/GeneralMahler/InPoint.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Estimates for one-dimensional layers under changing coordinates.

  1. lemma OAI.GeneralMahler.exp_est_dir line 12
  2. lemma OAI.GeneralMahler.Param.normS line 90
  3. lemma OAI.GeneralMahler.Param.Z_two line 97
  4. lemma OAI.GeneralMahler.angle_est line 184