Commit 2025-02-25 12:17 ddbf0397

View on Github →

feat(Set): Added some simple set lemmas (#22036) Added range_intersection_ssubset_iff_preimage_ssubset and ssubset_iff_exists

Estimated changes

added theorem Set.ssubset_iff_exists