Conformal restriction measure on simple loops (source code)

= Conformal restriction measure on simple loops
{title2=$\Phi_*(\mu|_{\mathbf L_U})=\mu|_{\mathbf L_{\Phi(U)}}$}

A <sigma-finite measure> on <simple closed curves> has conformal restriction if restricting to loops in a simply connected domain and then applying a <conformal map> agrees with first transporting the domain and restricting there. The usual nontrivial measures are finite on bounded macroscopic cutoff windows and are determined up to normalization by their pointed conformal deficits.