Theorem List.pairwise_iff_forall_infix

Modification history

2026-07-02 11:53

Mathlib/Data/List/Pairwise.lean

feat(Data/List/Chain): generalize `WellFounded.asymmetric₃` to chains (#36922) …

Added List.pairwise_iff_forall_infix View on Github →