# Commit 2022-08-21 09:59 e0b2fa6d

View on Github →feat(algebra/*): Algebraic instances on `lex`

/`order_dual`

(#16122)
Copy over algebraic instances for `lex`

and `order_dual`

.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebra/*): Algebraic instances on `lex`

/`order_dual`

(#16122)
Copy over algebraic instances for `lex`

and `order_dual`

.