Theorem LocallyConstant.comap_injective

Modification history