Theorem CompHausLike.LocallyConstant.incl_comap

Modification history