Theorem WellFounded.asymmetricₙ

Modification history

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