Theorem inf_eq_sup

Modification history

2023-12-02 15:52

Mathlib/Order/Lattice.lean

chore: space after `←` (#8178)

Modified inf_eq_sup View on Github →

2023-01-06 20:48

Mathlib/Order/Lattice.lean

feat: `a ⊔ b = a ⊓ b ↔ a = b` (#1078) …

Added inf_eq_sup View on Github →