Theorem Set.PartiallyWellOrderedOn.exists_lt

Modification history

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