∫ Утверждение Mathlib
coeff_rTensorAlgHom_monomial_tmul
Mathlib.RingTheory.TensorProduct.MvPolynomial
URI: https://scilib.ai/kg/mathlib#MvPolynomial.coeff_rTensorAlgHom_monomial_tmul
∫ Утверждение Mathlib
Mathlib.RingTheory.TensorProduct.MvPolynomial
URI: https://scilib.ai/kg/mathlib#MvPolynomial.coeff_rTensorAlgHom_monomial_tmul