Theorem IsLocalRing.of_nilradical_isMaximal

Modification history