P
Initializing...
A total quotient ring with a proper invertible ideal (clean statement) · Prove2Me