Theorem MvPolynomial.coeff_rTensorAlgHom_monomial_tmul

Modification history

2024-06-05 00:51

Mathlib/RingTheory/TensorProduct/MvPolynomial.lean

feat(Mathlib.RingTheory.TensorProduct.MvPolynomial) : tensor product of a (multivariate) polynomial ring (#12293) …

Added MvPolynomial.coeff_rTensorAlgHom_monomial_tmul View on Github →