Mathlib v3 is deprecated. Go to Mathlib v4

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)

Estimated changes