P
Initializing...
Polynomial access to a supporting face of the target vertex (conjectural) · Prove2Me