Def Ideal.ofPolynomial

Modification history

2023-04-10 18:08

Mathlib/RingTheory/Polynomial/Basic.lean

chore: tidy various files (#3358)

Modified Ideal.ofPolynomial View on Github →

2023-03-30 13:14

Mathlib/RingTheory/Polynomial/Basic.lean

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

Added Ideal.ofPolynomial View on Github →