Theorem Con.kerLift_injective

Modification history