Theorem Matrix.smul_empty

Modification history