mathlib3
d2183f63 - 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