with_zero): Generalize lemmas (#16240)

Commit

3 years ago

refactor(algebra/order/with_zero): Generalize lemmas (#16240) Generalize the lemmas introduced in #15644 to monoids + covariant classes.

Author

YaelDillies

Parents