Two ring maps out of the concrete surface that agree on constants, `t` and `x`, and send `t` and `x` to nilpotent elements, are equal.

Initializing...

Two ring maps out of the concrete surface that agree on constants, `t` and `x`, and send `t` and `x` to nilpotent elements, are equal. · Prove2Me