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