Theorem Finite.exists_ne_map_eq_of_infinite

Modification history