Theorem IsLocalRing.maximalIdeal_le_jacobson

Modification history