P
Initializing...
A diameter bound for descriptions with nonzero normals extends to all descriptions · Prove2Me