mathlib3
b794e9f0 - Draft: extend to `comm_monoid_with_zero`

Commit

4 years ago

Draft: extend to `comm_monoid_with_zero`

Author

stuart-presnell

stuart-presnell

Committer

stuart-presnell

stuart-presnell

Parents

Loading