Def MatrixEquivTensor.toFunAlgHom

Modification history