Def LocallyConstant.congrLeftₗ

Modification history