Def PolyEquivTensor.toFunAlgHom

Modification history