P
Initializing...
An injective definable function has a uniform germ pattern on a subinterval · Prove2Me