OAI/Geometry/CAT0Fillings/Bubble/Euclidean.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.RadialSobolev.omega_gamma line 12
2. lemma OAI.CAT0Fillings.RadialSobolev.polar_constant_gamma line 20
3. lemma OAI.CAT0Fillings.RadialSobolev.sphereArea_gamma line 26
4. lemma OAI.CAT0Fillings.RadialSobolev.bubble_mass_sphere line 31
5. lemma OAI.CAT0Fillings.RadialSobolev.integrable_euclidean_bubble line 56
6. lemma OAI.CAT0Fillings.RadialSobolev.integral_euclidean_bubble line 63