Theorem Matrix.smul_mulVec_assoc

Modification history