Def CompHausLike.LocallyConstant.functor

Modification history