Theorem countable_setOf_covby_right

Modification history