Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-23 16:33 7defe7df

View on Github →

feat(field_theory/separable): add expand_eval and expand_monic (#10965) Simple properties of polynomial.expand.

Estimated changes

added theorem polynomial.expand_eval