mathlib
aad2dfc4 - fix(group_with_zero): fix definition of comm_monoid_with_zero (#2818)

Commit

5 years ago

fix(group_with_zero): fix definition of comm_monoid_with_zero (#2818) Also generate instance comm_group_with_zero -> comm_monoid_with_zero.

Author

fpvandoorn

Parents