Theorem LocallyConstant.comap_comp

Modification history