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

idealRange_eq_map

Mathlib.Algebra.Lie.Ideal

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

← MathLib Explorer