Theorem Set.bijective_iff_bijOn_univ

Modification history