Theorem Matrix.mul_empty

Modification history