Theorem Set.diff_singleton_sSubset

Modification history