Theorem IsLocalRing.of_isMaximal_nilradical

Modification history