Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_module.nontrivial_max_triv_of_is_nilpotent

Modification history