OAI/Analysis/Crouzeix/AngularMeasure.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Angular Measure.

  1. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.interiorAngle line 22
  2. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.circleCoordinate_interiorAngle line 28
  3. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.fourier_interiorAngle line 34
  4. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.angularIntegralCLM line 41
  5. def OAI.CrouzeixHilbert.Conformal.ExteriorCollar.circleIntegralCLM line 63
  6. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.angularIntegralCLM_eq line 74
  7. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.integral_angularChange line 85