Theorem Matrix.empty_mul

Modification history