A real differentiable reparametrization between $J$-holomorphic maps is complex differentiable

Initializing...

A real differentiable reparametrization between $J$-holomorphic maps is complex differentiable · Prove2Me