Theorem Matrix.vecMul_empty

Modification history