OAI/Geometry/NodalSets/Elliptic/CompactSignEvents.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.isOpen_compact_positive_event line 13
2. lemma OAI.Yau.Geometry.measurable_compact_opposite_signs line 35
3. lemma OAI.Yau.Geometry.seeded_gaussian_joint_continuous line 43
4. lemma OAI.Yau.Geometry.source_closed_ball_compact line 49
5. lemma OAI.Yau.Geometry.seeded_gaussian_sign_balls_measurable line 62