Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-23 08:09 2ae2cf04

View on Github →

feat(linear_algebra/multivariate_polynomial): C_mul'

Estimated changes

added theorem mv_polynomial.C_mul'