Def Function.injective

Modification history