Theorem isJacobsonRing_iff_sInf_maximal

Modification history