Theorem Set.isPWO_of_wellQuasiOrderedLE

Modification history

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