Theorem Lex.exists

Modification history

2026-03-12 18:27

Mathlib/Order/Lex.lean

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

Modified Lex.exists View on Github →

2023-11-08 20:09

Mathlib/Order/Synonym.lean

feat: Sum of lattices (#8181) …

Added Lex.exists View on Github →