P
Initializing...
A nonzerodivisor of `A` remains a nonzerodivisor in the localization `A[1/z]`. · Prove2Me