Theorem DirectLimit.mk_injective

Modification history