The elements of `O[X]/(Φ)` fixed by the Frobenius are exactly the elements of `O`. · Prove2Me

P

Initializing...

The elements of `O[X]/(Φ)` fixed by the Frobenius are exactly the elements of `O`. · Prove2Me