mathlib3
d9e623c2 - feat(algebra/*): Division monoid instances for `with_zero` and `mul_opposite` (#14073)

Commit

3 years ago

feat(algebra/*): Division monoid instances for `with_zero` and `mul_opposite` (#14073) A few missing instances of `division_monoid` and friends.

Author

YaelDillies

Parents