Projection onto a translate: $P_{K(x)}(y)=m(x)+P_{\tilde K}(y-m(x))$ for $K(x)=m(x)+\tilde K$

Initializing...

Projection onto a translate: $P_{K(x)}(y)=m(x)+P_{\tilde K}(y-m(x))$ for $K(x)=m(x)+\tilde K$ · Prove2Me