Theorem Function.injective.ne_iff

Modification history