Theorem Set.image_eq_iff_surjOn_mapsTo

Modification history