OAI/Geometry/NodalSets/Elliptic/HalfScaleLemmas.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.half_scale_square line 12
2. lemma OAI.Yau.Geometry.inverse_le_half_scale line 17
3. lemma OAI.Yau.Geometry.half_scale_eventually line 21
4. lemma OAI.Yau.Geometry.main_scale_square line 40
5. lemma OAI.Yau.Geometry.inverse_le_main_scale line 44
6. lemma OAI.Yau.Geometry.main_scale_eventually line 48
7. lemma OAI.Yau.Geometry.inverse_le_main_scale_square line 67