Theorem pairwise_iff_gt

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_gt View 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_gt View on Github →