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