Theorem countable_setOf_covby_left

Modification history