Def LocallyConstant.congrLeftRingEquiv

Modification history