mathlib3
51f3676c - generalizing to cancel monoids is now trivial

Commit

4 years ago

generalizing to cancel monoids is now trivial

References

#11897 - feat(order/extension): extending ordered groups to linear ordered groups

Author

alexjbest

alexjbest

Parents

Loading