Theorem IsLocalRing.isMaximal_iff

Modification history