OAI/Geometry/NodalSets/Elliptic/RealTranslatedJetEmbedding.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.partialJet_translate line 11
2. lemma OAI.Yau.Geometry.realFiniteJetSquare_translate line 22
3. lemma OAI.Yau.Geometry.real_integral_ball_translate line 27
4. theorem OAI.Yau.Geometry.real_point_jet_l2_embedding line 36
5. theorem OAI.Yau.Geometry.real_uniform_jet_l2_embedding line 46