P
Initializing...
An injective definable function has no interval of strict local minima · Prove2Me