Theorem Polynomial.associated_map_map

Modification history

2025-11-30 12:04
Mathlib/Algebra/Polynomial/Eval/Defs.lean
feat(RingTheory/AdjoinRoot): map (#32111) …
Added Polynomial.associated_map_mapView on Github →