P
Initializing...
Double dual cone = closed conic hull · Prove2Me