Theorem Set.countable_empty

Modification history