Theorem IsArtinianRing.jacobson_eq_radical

Modification history