Theorem Matrix.vecMul_injective_iff_isUnit

Modification history