Theorem Set.surjective_iff_surjOn_univ

Modification history