P
Initializing...
An angular growth primitive and a uniform variation bound · Prove2Me