topology): add lemma `convex.subset_interior_image_homothety_of_one_lt` (#9044)

Commit

4 years ago

feat(analysis/convex/topology): add lemma `convex.subset_interior_image_homothety_of_one_lt` (#9044) Co-authored-by: YaelDillies <yael.dillies@gmail.com>

Author

ocfnash

Parents

58f26a02

mathlib3 696db1ea - feat(analysis/convex/topology): add lemma `convex.subset_interior_image_homothety_of_one_lt` (#9044)

mathlib3
696db1ea - feat(analysis/convex/topology): add lemma `convex.subset_interior_image_homothety_of_one_lt` (#9044)