Theorem Ideal.FG.isNilpotent_iff_le_nilradical

Modification history