Theorem Matrix.zero_vecMul

Modification history