OAI/Analysis/Crouzeix/AngularMoments.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Angular Moments.

  1. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.interiorBoundary_ne_zero line 20
  2. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.integral_angularJacobian_pow_succ line 23
  3. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.integral_angularJacobian line 36
  4. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.integral_angularJacobian_pow line 96
  5. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.conj_angularJacobian line 103
  6. lemma OAI.CrouzeixHilbert.Conformal.ExteriorCollar.integral_angularJacobian_zpow line 106