Commit 2025-05-28 20:24 282cd801

View on Github →

chore: clean up some proofs in Taylor.lean (#25279)

Estimated changes

modified theorem Polynomial.taylor_C
modified theorem Polynomial.taylor_X
modified theorem Polynomial.taylor_eval
modified theorem Polynomial.taylor_one
modified theorem Polynomial.taylor_taylor
modified theorem Polynomial.taylor_zero'
modified theorem Polynomial.taylor_zero