Commit 2022-12-06 18:35 869deb8c

View on Github →

feat: port Algebra.Order.Monoid.Cancel.Basic (#883) mathlib3 f1a2caaf51ef593799107fe9a8d5e411599f3996

Estimated changes