P
Initializing...
On a subinterval the germ class of an injective definable function is constant · Prove2Me