Theorem pairwise_iff_lt

Modification history

2026-06-10 08:59
Mathlib/Order/Lattice.lean
chore(Order/Defs/Unbundled): deprecate `def Symmetric` in favor of `class Std.Symm` (#38092)
Modified pairwise_iff_ltView on Github →
2026-02-03 15:41
Mathlib/Order/Lattice.lean
feat(Order): check `Pairwise` only on `(a, b)` for `a < b` (#34686) …
Added pairwise_iff_ltView on Github →