§2 — V(f, π) = L(f)V(π) and V(f₁, ⋯, f_N, π) = L(f₁)⋯L(f_N)V(π) · Prove2Me

P

Initializing...

§2 — V(f, π) = L(f)V(π) and V(f₁, ⋯, f_N, π) = L(f₁)⋯L(f_N)V(π) · Prove2Me