Theorem isLowerSet_subtype_iff_isRelLowerSet

Modification history

2025-05-24 12:26
Mathlib/Order/UpperLower/Relative.lean
feat: relative upper/lower sets (#23762) …
Added isLowerSet_subtype_iff_isRelLowerSetView on Github →