chore(algebra/group_with_zero): correct instance name (#5885)
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`.






leanprover-community/mathlib,leanprover-community/mathlib