Theorem Matrix.single_eq_single_vecMulVec_single

Modification history