Theorem IsLocalRing.ker_eq_maximalIdeal

Modification history