OAI/Analysis/Crouzeix/AngularRadius.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Angular Radius.

  1. lemma OAI.CrouzeixHilbert.Boundary.integral_scaled_circleCoordinate line 14
  2. lemma OAI.CrouzeixHilbert.Boundary.integral_scaled_coordinate_cauchy line 24
  3. lemma OAI.CrouzeixHilbert.Boundary.integral_scaled_deform line 37
  4. lemma OAI.CrouzeixHilbert.Boundary.integral_laurent_deform line 52