Theorem Set.countable_iff_exists_injOn

Modification history