Theorem Set.surjOn_iff_surjective

Modification history