Def Matrix.diagonalAlgHom

Modification history