Theorem Matrix.mul_left_injective_iff_vecMul_injective

Modification history