Theorem Ring.DirectLimit.ringEquiv_symm_mk

Modification history