P
Initializing...
Corollary 15: equality in the extremal-face regime · Prove2Me