Theorem Matrix.invOf_diagonal_eq

Modification history