Theorem Set.countable_singleton

Modification history