P
Initializing...
Lemma 26.2: E_S[Rep_D(F, S)] ≤ 2 E_S R(F ∘ S) for F = ℓ ∘ H · Prove2Me