Theorem toColex_symm_eq

Modification history

2026-03-12 18:27

Mathlib/Order/Lex.lean

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

Modified toColex_symm_eq View on Github →

2025-10-01 13:25

Mathlib/Order/Synonym.lean

feat: `Colex` type synonym (#29058) …

Added toColex_symm_eq View on Github →