Theorem LocalRing.of_nilradical_isMaximal

Modification history