For an unramified lift `Φ`, the residue extension is a finite field with `q^(deg Φ)` elements.

Initializing...

For an unramified lift `Φ`, the residue extension is a finite field with `q^(deg Φ)` elements. · Prove2Me