P
Initializing...
An injective definable function is strictly monotone on a subinterval · Prove2Me