Theorem IsArtinianRing.isNilpotent_nilradical

Modification history