OAI/Geometry/NodalSets/Elliptic/CorrugationScaledJetsLemmas.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.scalar_const_mul_second line 14
2. lemma OAI.Yau.Geometry.localizedCorrugation_first line 19
3. lemma OAI.Yau.Geometry.localizedCorrugation_second line 46
4. lemma OAI.Yau.Geometry.finite_sum_compact_support line 80
5. lemma OAI.Yau.Geometry.finite_sum_support_subset line 94
6. lemma OAI.Yau.Geometry.finite_disjoint_sum_eventually line 105
7. lemma OAI.Yau.Geometry.finite_disjoint_sum_jets line 124
8. lemma OAI.Yau.Geometry.finite_disjoint_sum_bound line 132