P
Initializing...
The surface ideal is proper when `π` is not a unit and `a > 0`. · Prove2Me