Theorem DirectLimit.Module.lift_of

Modification history