Def LocallyConstant.congrLeftₐ

Modification history