P
Initializing...
Characteristic cone is a convex cone; K is stable under translation by it · Prove2Me