OAI/Geometry/CAT0Fillings/Currents/MassBounds.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CAT0Fillings.IsMetricCurrent.mass_bound line 16
2. def OAI.CAT0Fillings.BoundedLip.toBoundedContinuous line 54
3. lemma OAI.CAT0Fillings.continuous_integral_abs_boundedLip line 66
4. lemma OAI.CAT0Fillings.isClosed_controls line 80
5. lemma OAI.CAT0Fillings.IsMetricCurrent.exists_controls_mass_eq line 93