Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_equiv.is_engelian_iff

Modification history