Theorem DirectLimit.Ring.of_f

Modification history