Theorem countable_setOf_isolated_right_within

Modification history