Commit 2023-09-25 14:23 8f4cf33f

View on Github →

feat(RingTheory/Nilpotent): add lemma on powers of nilpotents (#7340) add lemma saying that powers of nilpotent elements are nilpotent.

Estimated changes