Theorem Set.subset_iff_eq_of_ncard_le

Modification history