Radical of a polynomial #
This file proves some theorems on radical
and divRadical
of polynomials.
See RingTheory.Radical
for the definition of radical
and divRadical
.
This file proves some theorems on radical
and divRadical
of polynomials.
See RingTheory.Radical
for the definition of radical
and divRadical
.