Theorem Matrix.zero_empty

Modification history