Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lie_algebra.lie_character_apply_of_mem_derived

Modification history