Theorem Matrix.empty_mul_empty

Modification history