Def LocallyConstant.coeFnAlgHom

Modification history