Theorem CovBy.exists_set_sdiff_singleton

Modification history