P

Initializing...

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