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.
feat(RingTheory/Nilpotent): add lemma on powers of nilpotents (#7340) add lemma saying that powers of nilpotent elements are nilpotent.