A special-fiber identification compatible with reduction sends `t`, `x` and constants to the corresponding elements of `k[[T,X]]/(T^a X^b)`.

Initializing...

A special-fiber identification compatible with reduction sends `t`, `x` and constants to the corresponding elements of `k[[T,X]]/(T^a X^b)`. · Prove2Me