Theorem Ring.DirectLimit.quotientMk_of

Modification history