P
Initializing...
Translation preserves log-concavity · Prove2Me