Theorem Set.partiallyWellOrderedOn_of_wellQuasiOrdered

Modification history

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