Theorem Set.subset_diff_singleton

Modification history