P
Initializing...
A uniform bound for increments of the growth primitive · Prove2Me