Polynomials over finite fields #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
A polynomial over the integers is divisible by
n : ℕ
if and only if it is zero over
Over a field, this is the indicator function as an
The submodule of multivariate polynomials whose degree of each variable is strictly less
than the cardinality of K.