OAI/Analysis/RieszRectifiability/Packing/CellHaarPairGeometry.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.RieszRectifiability.CellHaarPair line 14
2. def OAI.RieszRectifiability.CellHaarPair.outerCell line 27
3. def OAI.RieszRectifiability.CellHaarPair.innerCell line 30
4. def OAI.RieszRectifiability.CellHaarPair.test line 33
5. theorem OAI.RieszRectifiability.CellHaarPair.outer_subset_parent line 36
6. theorem OAI.RieszRectifiability.CellHaarPair.inner_subset_outer line 42
7. theorem OAI.RieszRectifiability.CellHaarPair.outer_measurable line 48
8. theorem OAI.RieszRectifiability.CellHaarPair.inner_measurable line 51
9. theorem OAI.RieszRectifiability.CellHaarPair.test_zero_outside_parent line 54
10. theorem OAI.RieszRectifiability.CellHaarPair.test_constant_on_finer line 59