P
Initializing...
Derivative bounds are preserved by a bounded linear rescaling of the value · Prove2Me