Theorem Matrix.mul_right_injective_iff_mulVec_injective

Modification history