Theorem LocalRing.jacobson_eq_maximalIdeal

Modification history