An element of the concrete surface whose image in the special fiber is a nonzerodivisor is a nonzerodivisor modulo `π`.

Initializing...

An element of the concrete surface whose image in the special fiber is a nonzerodivisor is a nonzerodivisor modulo `π`. · Prove2Me