OAI/Geometry/CAT0Fillings/Scaling/Extremal.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.ScaledSpace.push_down_up line 15
2. lemma OAI.CAT0Fillings.ScaledSpace.push_up_down line 21
3. lemma OAI.CAT0Fillings.ScaledSpace.mass_up line 29
4. lemma OAI.CAT0Fillings.ScaledSpace.mass_down line 37
5. lemma OAI.CAT0Fillings.ScaledSpace.filling_up line 42
6. lemma OAI.CAT0Fillings.ScaledSpace.mass_up_rpow line 72
7. lemma OAI.CAT0Fillings.ScaledSpace.extremal_up line 76