Theorem countable_setOf_isolated_left

Modification history