Theorem Ring.DirectLimit.induction_on

Modification history