Over a finite field `k` with `q` elements, `P(y^q) = P(y)^q` for `P ∈ k[X]`. · Prove2Me

P

Initializing...

Over a finite field `k` with `q` elements, `P(y^q) = P(y)^q` for `P ∈ k[X]`. · Prove2Me