OAI/Geometry/NodalSets/Elliptic/RealEllipticLocalityLemmas.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Yau.Geometry.realCoordPartial_eventuallyEq line 12
  2. lemma OAI.Yau.Geometry.realWeightedElliptic_eventuallyEq line 18
  3. lemma OAI.Yau.Geometry.realWeightedElliptic_zero line 30
  4. def OAI.Yau.Geometry.realEllipticResidual line 38
  5. lemma OAI.Yau.Geometry.realEllipticResidual_eventuallyEq line 42
  6. lemma OAI.Yau.Geometry.realEllipticResidual_zero line 49
  7. lemma OAI.Yau.Geometry.realEllipticResidual_tsupport line 54
  8. lemma OAI.Yau.Geometry.realEllipticResidual_smooth line 66
  9. lemma OAI.Yau.Geometry.realEllipticResidual_compact line 73
  10. theorem OAI.Yau.Geometry.real_weighted_square_identity line 81