OAI/Analysis/Crouzeix/ExteriorNormal.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exterior Normal.

  1. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.parameter_open line 20
  2. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.deriv_ne_zero line 22
  3. theorem OAI.CrouzeixHilbert.Conformal.ExteriorCollar.supporting_normal line 25