Def MulSemiringAction.toAlgHom

Modification history