Commit 2021-09-21 08:03 524ded6c

refactor(data/polynomial/{coeff,monomial}): move smul_eq_C_mul (#9287) This moves smul_eq_C_mul from monomial.lean into coeff.lean so that the import on monomial.lean can be changed from data.polynomial.coeff to data.polynomial.basic. This should shave about 10 seconds off the longest pole for parallelized mathlib compilation.