OAI/Geometry/NodalSets/Elliptic/RealFiniteJetIntegrals.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.real_cutoff_square_integrable line 11
2. lemma OAI.Yau.Geometry.realFiniteJetSquare_zero line 19
3. lemma OAI.Yau.Geometry.realFiniteJetSquare_integrable line 23
4. lemma OAI.Yau.Geometry.realFiniteJetSquare_integral_sum line 29