Commit 2021-09-17 20:09 696db1ea
View on Github →feat(analysis/convex/topology): add lemma convex.subset_interior_image_homothety_of_one_lt
(#9044)
feat(analysis/convex/topology): add lemma convex.subset_interior_image_homothety_of_one_lt
(#9044)