Theorem Ideal.IsNilpotent.induction_on

Modification history