Theorem Set.isPWO_iff_isWF

Modification history

2025-01-22 18:42
Mathlib/Order/WellFoundedSet.lean
chore(Order/WellFoundedSet): flip `isWF_iff_isPWO` (#20937) …
Added Set.isPWO_iff_isWFView on Github →