Theorem Polynomial.mapAlg_comp

Modification history

2025-07-15 13:39

Mathlib/Algebra/Polynomial/AlgebraMap.lean

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

Added Polynomial.mapAlg_comp View on Github →