Theorem Ring.jacobson_eq_sInf_isMaximal

Modification history