P
Initializing...
A principal-ideal quasipoint extends upward to a quasipoint · Prove2Me