Theorem WellFoundedRelation.asymmetricₙ

Modification history

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