Theorem Polynomial.mapAlg_eq_map

Modification history

2025-07-15 13:39

Mathlib/Algebra/Polynomial/AlgebraMap.lean

feat(Algebra/Polynomial/AlgebraMap): add lemmas (#26666)

Modified Polynomial.mapAlg_eq_map View on Github →

2023-03-13 12:48

Mathlib/Data/Polynomial/Lifts.lean

feat: Port Data.Polynomial.Lifts (#2835)

Added Polynomial.mapAlg_eq_map View on Github →