Theorem Set.ssubset_iff_of_subset

Modification history