function.injective.mul_one_class source