Theorem Module.DirectLimit.of_f

Modification history