∫ Утверждение Mathlib

idealRange_eq_lieSpan_range

Mathlib.Algebra.Lie.Ideal

URI: https://scilib.ai/kg/mathlib#LieHom.idealRange_eq_lieSpan_range

← MathLib Explorer