Theorem RelIso.wellQuasiOrdered_iff

Modification history

2025-10-23 14:48
Mathlib/Order/WellQuasiOrder.lean
feat(Order/WellFoundedSet): `partiallyWellOrderedOn_univ_iff` and `Pi.wellQuasiOrderedLE` (#30275) …
Added RelIso.wellQuasiOrdered_iffView on Github →