Theorem Set.isPWO_univ_iff

Modification history

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