Theorem Set.injOn_iff_injective

Modification history