Theorem Matrix.empty_add_empty

Modification history