OAI/Geometry/NodalSets/Waves/GaussianCompactSections.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Geometry.pairSection line 12
2. lemma OAI.Yau.Geometry.pairSection_apply line 18
3. lemma OAI.Yau.Geometry.pairSection_continuous line 29
4. lemma OAI.Yau.Geometry.pairSection_integrable line 35
5. lemma OAI.Yau.Geometry.pairSection_sup_integrable line 45
6. lemma OAI.Yau.Geometry.pairSection_norm_le_iff line 49
7. def OAI.Yau.Geometry.derivativeSection line 55
8. lemma OAI.Yau.Geometry.seeded_derivative_section_apply line 63