OAI/Geometry/CAT0Fillings/Isoperimetry/SmallSets.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CAT0Fillings.compact_cell_filling line 17
2. theorem OAI.CAT0Fillings.uniform_filling_littleO line 45
3. lemma OAI.CAT0Fillings.rpow_difference_lower line 89
4. theorem OAI.CAT0Fillings.small_restriction_mass_bound line 106