Theorem Matrix.coe_mulVecLin

Modification history