Commit 2022-11-20 20:44 7a3282ce
View on Github →feat: port Algebra.Group.OrderSynonym (#651) Tracking mathlib commit: c3019c79074b0619edb4b27553a91b2e82242395
feat: port Algebra.Group.OrderSynonym (#651) Tracking mathlib commit: c3019c79074b0619edb4b27553a91b2e82242395