Theorem Matrix.star_vecMul

Modification history