Theorem HasSubset.Subset.diff_ssubset_of_nonempty

Modification history