P
Initializing...
Locally constant implies constant · Prove2Me