Chordal restriction property (source code)

= Chordal restriction property

A random curve $\gamma$ from $0$ to infinity in the <complex upper half-plane> has the chordal restriction property when, for every admissible compact H-hull $A$ avoiding zero, the conditional law of $\psi_A(\gamma)$ given $\gamma\cap A=\varnothing$ equals the original law of $\gamma$. Here $\psi_A:\mathbb H\setminus A\to\mathbb H$ fixes zero and has derivative one at infinity.