Two ring maps out of `O[[T,X]]` that agree on constants, `T` and `X`, and send `T` and `X` to nilpotent elements, are equal.

Initializing...

Two ring maps out of `O[[T,X]]` that agree on constants, `T` and `X`, and send `T` and `X` to nilpotent elements, are equal. · Prove2Me