Theorem isJacobsonRing_iso

Modification history