Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_algebra.is_nilpotent

Modification history

2021-02-23 17:14

src/algebra/lie/nilpotent.lean

feat(algebra/lie/nilpotent): basic facts about nilpotent Lie algebras (#6378)

Added lie_algebra.is_nilpotent View on Github →