Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-02 08:31 738bbae0

View on Github →

feat(algebra/group_ring_action): action on polynomials (#2586)

Estimated changes

added theorem polynomial.coeff_smul'
added theorem polynomial.smul_C
added theorem polynomial.smul_X