Theorem Matrix.algebraMap_eq_diagonalRingHom

Modification history