Theorem Matrix.vecMul_injective_iff

Modification history