Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial_module.single_smul

Modification history

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