OAI/Analysis/RieszRectifiability/Flatness/FlatDescendantMass.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.SupportCellDescendant.top_radius_eq line 13
2. theorem OAI.RieszRectifiability.SupportCellDescendant.radius_lower_of_depth_le line 25
3. def OAI.RieszRectifiability.flatDescendantMassConstant line 32
4. theorem OAI.RieszRectifiability.flatDescendantMassConstant_pos line 35
5. theorem OAI.RieszRectifiability.SupportCellDescendant.parent_mass_bound line 40