Theorem Ring.DirectLimit.lift_of

Modification history