∫ Утверждение Mathlib
span_singleton_mul_right_inj
Mathlib.RingTheory.Ideal.Operations
URI: https://scilib.ai/kg/mathlib#Ideal.span_singleton_mul_right_inj
∫ Утверждение Mathlib
Mathlib.RingTheory.Ideal.Operations
URI: https://scilib.ai/kg/mathlib#Ideal.span_singleton_mul_right_inj