Mathlib v3 is deprecated. Go to Mathlib v4

Theorem affine_map.homothety_is_open_map

Modification history

2021-09-17 20:09
src/topology/algebra/affine.lean
feat(analysis/convex/topology): add lemma `convex.subset_interior_image_homothety_of_one_lt` (#9044)
Added affine_map.homothety_is_open_mapView on Github →