Theorem IsLocalRing.maximalIdeal_eq_bot

Modification history