P
Initializing...
Lemma 25 (empirical error): second-moment expansion of $R - R_{\mathrm{emp}}$ · Prove2Me