Theorem Matrix.vecMul_surjective_of_invertible

Modification history