P
Initializing...
The dual cone is closed under nonnegative scaling · Prove2Me