Theorem Matrix.mulVec_empty

Modification history