Theorem Set.Infinite.exists_lt_map_eq_of_mapsTo

Modification history