Def CompHausLike.LocallyConstantModule.functor

Modification history