OAI/Geometry/CAT0Fillings/Powers/Potential.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.ClosedCalculus.memLp_abs_rpow line 16
2. lemma OAI.CAT0Fillings.ClosedCalculus.potential_holder_conjugate line 22
3. lemma OAI.CAT0Fillings.ClosedCalculus.potential_integrable line 29
4. lemma OAI.CAT0Fillings.ClosedCalculus.potential_holder line 39
5. lemma OAI.CAT0Fillings.ChartGeometry.truncated_gradient_energy line 76
6. lemma OAI.CAT0Fillings.ChartGeometry.truncated_power_energy line 92