Def LocallyConstant.comapRingHom

Modification history