Theorem Countable.exists_injective_nat

Modification history