Theorem Matrix.mulVec_injective_of_invertible

Modification history