Theorem WellFounded.listPairwise_reverse_compl

Modification history

2026-07-02 11:53
Mathlib/Data/List/Chain.lean
feat(Data/List/Chain): generalize `WellFounded.asymmetric₃` to chains (#36922) …
Added WellFounded.listPairwise_reverse_complView on Github →