OAI/Geometry/NodalSets/Hausdorff/NodalProjection.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.segmentPoint line 15
2. theorem OAI.Yau.zero_on_segment line 17
3. theorem OAI.Yau.projection_covers line 27
4. theorem OAI.Yau.hausdorff_nodal_lower_bound line 41