mathlib3

7fc09275 - Merge branch 'apurva/convex-cone-closure' into apurva/proper-cone