Theorem AddCommGroup.DirectLimit.lift_unique

Modification history