Commit 2025-05-31 06:39 41b93296

View on Github →

feat(Algebra): small lemmas for taylor (#25305) 3 new lemmas, and 2 lemmas generalized (one from CommRing to Semiring, and one from CommRing to CommSemiring).

Estimated changes

Modified Mathlib/Algebra/Polynomial/Taylor.lean

added theorem Polynomial.taylor_X_pow

added theorem Polynomial.taylor_inj

modified theorem Polynomial.taylor_injective

added theorem Polynomial.taylor_pow