OAI/Analysis/Crouzeix/ExteriorBoundaryChart.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exterior Boundary Chart.

  1. theorem OAI.CrouzeixHilbert.Conformal.closed_side_of_side line 17
  2. theorem OAI.CrouzeixHilbert.Conformal.frontier_invertedExterior line 24
  3. theorem OAI.CrouzeixHilbert.Conformal.boundaryChart_invertedExterior line 44
  4. theorem OAI.CrouzeixHilbert.Conformal.exists_inverted_exterior_collar line 89