OAI/Geometry/CAT0Fillings/Bubble/Beta.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.RadialSobolev.beta_integrand_coe line 11
2. lemma OAI.CAT0Fillings.RadialSobolev.beta_integrable line 19
3. lemma OAI.CAT0Fillings.RadialSobolev.beta_integral line 32
4. def OAI.CAT0Fillings.RadialSobolev.betaRadius line 56
5. lemma OAI.CAT0Fillings.RadialSobolev.betaRadius_deriv line 58
6. lemma OAI.CAT0Fillings.RadialSobolev.betaRadius_mono line 67
7. lemma OAI.CAT0Fillings.RadialSobolev.betaRadius_image line 74
8. lemma OAI.CAT0Fillings.RadialSobolev.bubble_substitution_algebra line 88
9. lemma OAI.CAT0Fillings.RadialSobolev.bubble_integrable line 115
10. lemma OAI.CAT0Fillings.RadialSobolev.bubble_integral line 129