P
Initializing...
The concrete surface over a local ring is local when `π` is not a unit and `a > 0`. · Prove2Me