Theorem Polynomial.toSubring_zero

Modification history

2026-02-09 13:22
Mathlib/RingTheory/Polynomial/Basic.lean
refactor: move `Polynomial.toSubring` to a new file (#34661) …
Modified Polynomial.toSubring_zeroView on Github →
2024-05-18 08:22
Mathlib/RingTheory/Polynomial/Basic.lean
chore(RingTheory/Polynomial): rename `frange` to `coeffs` (#12919) …
Modified Polynomial.toSubring_zeroView on Github →
2023-03-30 13:14
Mathlib/RingTheory/Polynomial/Basic.lean
feat: port RingTheory.Polynomial.Basic (#3067)
Added Polynomial.toSubring_zeroView on Github →