Theorem Set.injOn_iff_invFunOn_image_image_eq_self

Modification history