OAI/Analysis/RieszRectifiability/Packing/HaarCellMassRatio.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.latticeRadius_le_depth_multiple line 13
2. def OAI.RieszRectifiability.haarCellMassRatio line 21
3. theorem OAI.RieszRectifiability.haarCellMassRatio_pos line 24
4. theorem OAI.RieszRectifiability.CellHaarPair.parent_mass_le_inner line 29