OAI/Analysis/Crouzeix/ExteriorContour.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Exterior Contour.

  1. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryMap line 22
  2. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryNormal line 27
  3. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryMap_mem_frontier line 33
  4. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryContour line 36
  5. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryContour_deriv line 42
  6. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryContour_trace_subset line 57
  7. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryContour_integral line 61
  8. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.exterior_value_not_mem line 77
  9. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.reciprocalDenominator line 83
  10. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.reciprocalDenominator_inverse line 85
  11. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.reciprocalDenominator_ne_zero line 92
  12. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.reciprocalCauchy line 104
  13. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.differentiableOn_reciprocalCauchy line 107
  14. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.reciprocalCauchy_boundary line 116
  15. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryContour_index_inside line 128
  16. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.boundaryContour_index_outside line 140
  17. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.physical_cauchy_formula line 145