mathlib
a1f3ff85 - feat(algebra/lie/nilpotent): basic lemmas about nilpotency (#7181)

Commit

4 years ago

feat(algebra/lie/nilpotent): basic lemmas about nilpotency (#7181)

Author

ocfnash

ocfnash

Parents

Loading