Theorem Matrix.empty_vecMulVec

Modification history