Def LocallyConstant.congrLeft

Modification history