Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial_smul_apply'

Modification history

2022-01-02 17:21
src/ring_theory/algebraic.lean
feat(ring_theory/algebraic): algebraic functions (#11156) …
Added polynomial_smul_apply'View on Github →