OAI/Geometry/NodalSets/Coefficients/TwoPointCoefficientEnergy.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.pairLinearSum_real_combination line 10
2. lemma OAI.Yau.Geometry.two_point_coefficient_energy line 22
3. lemma OAI.Yau.Geometry.two_point_energy_of_gap line 33
4. lemma OAI.Yau.Geometry.complex_norm_add_sq_bound line 44
5. lemma OAI.Yau.Geometry.two_point_energy_perturbation line 50