Theorem Set.SurjOn.image_eq_of_mapsTo

Modification history