← Mathematical handbook

The coefficient path xi=(1+3t^2)/4, eta=t^3

theorem Verification.partialReveal_xi (t : ↑unitInterval) : (partialReveal t).chatterjeeXi = (1 + 3 * ↑t ^ 2) / 4

theorem Verification.partialReveal_correlationRatio (t : ↑unitInterval) : correlationRatio (partialReveal t) = ↑t ^ 3