basic): add `has_add`, `add_zero_class`, and `add_comm_semigroup` instances to `convex_cone` (#16213)

Commit

3 years ago

feat(analysis/convex/cone/basic): add `has_add`, `add_zero_class`, and `add_comm_semigroup` instances to `convex_cone` (#16213) Adds `has_add`, `add_zero_class`, and `add_comm_semigroup` instance to `convex_cone`s.

Author

apurvnakade

Parents

a4e0a656

mathlib 3665254a - feat(analysis/convex/cone/basic): add `has_add`, `add_zero_class`, and `add_comm_semigroup` instances to `convex_cone` (#16213)

mathlib
3665254a - feat(analysis/convex/cone/basic): add `has_add`, `add_zero_class`, and `add_comm_semigroup` instances to `convex_cone` (#16213)