Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_algebra.exists_engelian_lie_subalgebra_of_lt_normalizer

Modification history