P
Initializing...
The structure map `O → O[[T,X]]/(π - u T^a X^b)` is injective. · Prove2Me