Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-19 22:25 11af02c3

View on Github →

feat(analysis/convex): convex sets with zero (#8234) Split off from #7288

Estimated changes