Step (d), p. 787 — $\phi_\infty(\Pi,\mathcal T_s)=\phi_\infty(\Pi_s,\mathcal T_s)$ · Prove2Me

P

Initializing...

Step (d), p. 787 — $\phi_\infty(\Pi,\mathcal T_s)=\phi_\infty(\Pi_s,\mathcal T_s)$ · Prove2Me