Theorem Matrix.single_one_vecMul

Modification history