monoid): `zero_le_one'` lemma with explicit type argument (#14594)

Commit

3 years ago

feat(algebra/order/monoid): `zero_le_one'` lemma with explicit type argument (#14594)

Author

vihdzp

Parents