Theorem Set.MapsTo.restrict_surjective_iff

Modification history