Theorem Polynomial.coeff_toSubring'

Modification history

2026-02-09 13:22
Mathlib/RingTheory/Polynomial/Basic.lean
refactor: move `Polynomial.toSubring` to a new file (#34661) …
Modified Polynomial.coeff_toSubring'View on Github →
2025-01-16 11:16
Mathlib/RingTheory/Polynomial/Basic.lean
chore: survey of simp porting notes (#20787) …
Modified Polynomial.coeff_toSubring'View on Github →
2023-04-10 18:08
Mathlib/RingTheory/Polynomial/Basic.lean
chore: tidy various files (#3358)
Added Polynomial.coeff_toSubring'View on Github →