Theorem Module.DirectLimit.lift_unique

Modification history