Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat : add lemma on nilpotent and powers (#8831)
Changed `IsNilpotent.pow to IsNilpotent.pow_succ`. Added `IsNilpotent.of_pow` and `IsNilpotent.pow_iff_pos`. Co-authored-by: Xavier Xarles <56635243+XavierXarles@users.noreply.github.com> Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>
- Loading branch information