Theorem Matrix.vecMul_injective_of_isUnit

Modification history