mathlib3

5f8cc8eb - docs(undergrad): mark convex, convex hull, and extreme points as done (#7924)