Theorem Set.countable_of_injective_of_countable_image

Modification history