Theorem isJacobsonRing_iff

Modification history