Theorem Covby.exists_set_sdiff_singleton

Modification history