Theorem Matrix.algebraMap_eq_diagonal

Modification history