OAI/Geometry/NodalSets/Elliptic/RescaledSeedBounds.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Geometry.rescaledSeed line 12
2. def OAI.Yau.Geometry.rescaledSeedPhase line 16
3. def OAI.Yau.Geometry.rescaledSeedNormalizer line 19
4. lemma OAI.Yau.Geometry.rescaledSeedPhase_smooth line 22
5. lemma OAI.Yau.Geometry.rescaledSeedNormalizer_smooth line 30
6. lemma OAI.Yau.Geometry.rescaledSeed_representation line 36
7. theorem OAI.Yau.Geometry.rescaledSeed_derivative_bound line 52