∫ Утверждение Mathlib
instIsKilling_range_ad
Mathlib.Algebra.Lie.Derivation.Killing
URI: https://scilib.ai/kg/mathlib#LieDerivation.IsKilling.instIsKilling_range_ad
∫ Утверждение Mathlib
Mathlib.Algebra.Lie.Derivation.Killing
URI: https://scilib.ai/kg/mathlib#LieDerivation.IsKilling.instIsKilling_range_ad