P
Initializing...
A definable function is constant or strictly monotone on a subinterval · Prove2Me