OAI/Analysis/RieszRectifiability/Limits/BoundedAffineStrongLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.bounded_height_strong_of_lipschitz_representative line 15
2. theorem OAI.RieszRectifiability.bounded_height_strong_of_intrinsic_affine line 61