Commit 2023-03-16 06:25 a7524553

View on Github →

feat: Port/Data.Polynomial.Identities (#2914)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Data/Polynomial/Identities.lean

added def Polynomial.binomExpansion

added def Polynomial.evalSubFactor

added def Polynomial.powAddExpansion

added def Polynomial.powSubPowFactor