Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-27 07:21 4f9543bb

View on Github →

feat(data/polynomial): lemma about aeval on functions, and on subalgebras (#7252)

Estimated changes

Modified src/data/polynomial/algebra_map.lean

added theorem polynomial.aeval_fn_apply

modified theorem polynomial.aeval_monomial

added theorem polynomial.aeval_subalgebra_coe