mathlib3
a5b5f6c3 - chore(algebra/opposite): add missing `monoid_with_zero` instance (#7339)

Commit

4 years ago

chore(algebra/opposite): add missing `monoid_with_zero` instance (#7339) Along with the `mul_zero_one_class` and `mul_zero_class` instances needed to build it

Author

eric-wieser

Parents

6c092955

mathlib3 a5b5f6c3 - chore(algebra/opposite): add missing `monoid_with_zero` instance (#7339)

mathlib3
a5b5f6c3 - chore(algebra/opposite): add missing `monoid_with_zero` instance (#7339)