Def Polynomial.toSubring

Modification history

2024-05-18 08:22

Mathlib/RingTheory/Polynomial/Basic.lean

chore(RingTheory/Polynomial): rename `frange` to `coeffs` (#12919) …

Modified Polynomial.toSubring View on Github →

2023-03-30 13:14

Mathlib/RingTheory/Polynomial/Basic.lean

feat: port RingTheory.Polynomial.Basic (#3067)

Added Polynomial.toSubring View on Github →