P
Initializing...
Proposition 5.b — prox_f is nonexpansive, hence continuous · Prove2Me