Theorem isJacobsonRing_iff_sInf_maximal'

Modification history