P
Initializing...
Theorem 4.2 — resampling identity $\mathcal T\mathcal P_s\mathcal F_s=\mathcal P_t\mathcal F_t\mathcal S$ · Prove2Me