Mathlib v3 is deprecated. Go to Mathlib v4

Def lie_submodule.quotient.action_as_endo_map_bracket

Modification history