Theorem Set.partiallyWellOrderedOn_iff_exists_lt

Modification history

2025-03-18 05:03
Mathlib/Order/WellFoundedSet.lean
feat: merge wqo APIs (#20786) …
Added Set.partiallyWellOrderedOn_iff_exists_ltView on Github →