OAI/Geometry/CAT0Fillings/Minimizers/Euler.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.AnalyticMinimizer.abs_power_derivative_bound line 13
2. lemma OAI.CAT0Fillings.AnalyticMinimizer.integral_abs_power_variation line 42
3. lemma OAI.CAT0Fillings.AnalyticMinimizer.criticalMass_variation line 97
4. lemma OAI.CAT0Fillings.AnalyticMinimizer.energy_variation line 117
5. lemma OAI.CAT0Fillings.AnalyticMinimizer.critical_euler line 133