Theorem Polynomial.map_aeval_eq_aeval_map
Modification history
2024-07-15 00:22
Mathlib/Algebra/Polynomial/AlgebraMap.lean
feat(Algebra/Polynomial/AlgebraMap): generalize one of the ring in `map_aeval_eq_aeval_map` to `Semiring` (#14735) …
Modified Polynomial.map_aeval_eq_aeval_mapView on Github →