Def MvPolynomial.lcoeff

Modification history

2024-06-05 00:51

Mathlib/Algebra/MvPolynomial/Basic.lean

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

Added MvPolynomial.lcoeff View on Github →