Theorem Matrix.mulVec_surjective_of_invertible

Modification history