Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-04 14:43 9607dbdd

View on Github →

feat(analysis/convex): linear image of segment (#6531)

Estimated changes