Theorem Set.covby_iff_exists_sdiff_singleton

Modification history