Theorem Matrix.empty_sub_empty

Modification history