OAI/Analysis/RieszRectifiability/Flatness/BlowupAffineGeometry.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.physicalAffine line 14
2. def OAI.RieszRectifiability.physicalHomeomorph line 35
3. theorem OAI.RieszRectifiability.physicalAffine_apply line 41
4. theorem OAI.RieszRectifiability.physicalAffine_symm_apply line 44
5. theorem OAI.RieszRectifiability.isAffineNPlane_map_equiv line 47
6. theorem OAI.RieszRectifiability.affineSubspace_map_equiv_symm line 54
7. theorem OAI.RieszRectifiability.physicalAffine_infDist line 66
8. theorem OAI.RieszRectifiability.physicalAffine_preimage_ball line 79
9. theorem OAI.RieszRectifiability.blowupMeasure_setIntegral_ball line 86