OAI/Analysis/RieszRectifiability/Nets/BoundaryCellGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.clean_cell_dist_to_closed_point line 13
2. theorem OAI.RieszRectifiability.supportLatticeAncestor_forced_near_center line 25
3. theorem OAI.RieszRectifiability.closed_cell_ancestor_eq_of_interior_point line 40
4. def OAI.RieszRectifiability.annularCellMassConstant line 56
5. theorem OAI.RieszRectifiability.annularCellMassConstant_pos line 58
6. theorem OAI.RieszRectifiability.clean_cell_annular_mass_bound line 61