Theorem Set.sdiff_singleton_covby

Modification history