Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial_module.monomial_smul_single

Modification history

2022-08-17 07:10
src/data/polynomial/module.lean
feat(data/polynomial): Polynomial modules (#15065)
Added polynomial_module.monomial_smul_singleView on Github →