mathlib
11af02c3 - feat(analysis/convex): convex sets with zero (#8234)

Commit

4 years ago

feat(analysis/convex): convex sets with zero (#8234) Split off from #7288

Author

b-mehta

b-mehta

Parents

Loading