Theorem of_lex_symm_eq

Modification history

2022-11-20 21:15

Mathlib/Order/Synonym.lean

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

Deleted of_lex_symm_eq View on Github →

2022-11-18 03:49

Mathlib/Order/Synonym.lean

feat: port Order.Synonym (#562) …

Added of_lex_symm_eq View on Github →