Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-22 07:39 8b4c455b

View on Github →

feat(data/polynomial/algebra_map): aeval_map (#5843) Proves aeval_map, which relates aeval within an is_scalar_tower.

Estimated changes

added theorem polynomial.aeval_map