Theorem Ring.DirectLimit.of_f

Modification history