Theorem Set.exists_injOn_iff_injective

Modification history