P
Initializing...
The direction point of an affine direction `φ` is a maximal ideal containing `t`; · Prove2Me