Theorem ofLex_symm_eq

Modification history

2026-03-12 18:27

Mathlib/Order/Lex.lean

chore(Order/OrderDual): move material on `OrderDual` (#35150) …

Modified ofLex_symm_eq View on Github →

2022-11-20 21:15

Mathlib/Order/Synonym.lean

feat: `#noalign` command; `align.precheck` option (#663) …

Added ofLex_symm_eq View on Github →