`order_dual` (#16122)

Commit

3 years ago

feat(algebra/*): Algebraic instances on `lex`/`order_dual` (#16122) Copy over algebraic instances for `lex` and `order_dual`.

Author

YaelDillies

Parents