P
Initializing...
Theorem 4.25 — $(\psi^c)^c=\psi$ for $c$-concave $\psi$ · Prove2Me