mathlib
7f25aa76 - chore(algebra/group_with_zero): correct instance name (#5885)

Commit

5 years ago

chore(algebra/group_with_zero): correct instance name (#5885) The argument for this definition is `cancel_monoid_with_zero`, not `comm_cancel_monoid_with_zero`.

Author

eric-wieser

Parents

3a16e9f8

mathlib 7f25aa76 - chore(algebra/group_with_zero): correct instance name (#5885)

mathlib
7f25aa76 - chore(algebra/group_with_zero): correct instance name (#5885)