P
Initializing...
A nonempty closed extreme face of a compact parent contains a parent vertex · Prove2Me