Theorem IsLocalRing.jacobson_eq_maximalIdeal

Modification history