Theorem DirectLimit.Ring.lift_of

Modification history