Theorem Polynomial.Monic.map

Modification history

2025-11-05 17:11

Mathlib/Algebra/Polynomial/Monic.lean

feat(Algebra/Polynomial): small and useful lemmas (#29956)

Modified Polynomial.Monic.map View on Github →

2023-03-09 12:44

Mathlib/Data/Polynomial/Monic.lean

feat: port Data.Polynomial.Monic (#2745)

Added Polynomial.Monic.map View on Github →