The reduction of an unramified lift `Φ` to the quotient of the concrete surface by its parameter ideal `(t, x)` is irreducible.

Initializing...

The reduction of an unramified lift `Φ` to the quotient of the concrete surface by its parameter ideal `(t, x)` is irreducible. · Prove2Me