mathlib3
c12a72ee - Merge branch 'apurva/convex-cone-closure' into apurva/proper-cone

Commit

2 years ago

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

Author

Apurva Nakade

Parents

Loading