Theorem inf_eq_and_sup_eq_iff

Modification history

2023-01-06 20:48
Mathlib/Order/Lattice.lean
feat: `a ⊔ b = a ⊓ b ↔ a = b` (#1078) …
Added inf_eq_and_sup_eq_iffView on Github →