Theorem Matrix.empty_eq

Modification history