Theorem DirectLimit.lift_injective

Modification history