Theorem Matrix.coe_vecMulLinear

Modification history