Theorem Set.infinite_of_injOn_mapsTo

Modification history