Mathlib.Algebra.Group.OrderSynonym
source
Transfer algebraic instances from α to αᵒᵈ and Lex α.
α
αᵒᵈ
Lex α
OrderDual