P

Initializing...

Lemma 25 (leave-one-out error): second-moment expansion of $R - R_{\mathrm{loo}}$ · Prove2Me