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