Theorem Matrix.invOf_eq

Modification history