Theorem Set.diff_singleton_ssubset

Modification history