P

Initializing...

Proposition 7.b — the primitive φ of prox_g lies in Γ₀(H) and its dual is g + ½‖·‖² · Prove2Me