Theorem Set.ssubset_iff_exists

Modification history

2025-02-25 12:17
Mathlib/Data/Set/Basic.lean
feat(Set): Added some simple set lemmas (#22036) …
Added Set.ssubset_iff_existsView on Github →