P

Initializing...

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