OAI/Geometry/NodalSets/Elliptic/UniformTripleBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.transverseEnergy_continuous line 13
2. theorem OAI.Yau.Geometry.uniform_transverse_spanning line 22
3. def OAI.Yau.Geometry.sourceDirectionEta line 62
4. theorem OAI.Yau.Geometry.uniform_direction_strictness line 65