Shift identity (p. 290) — Φ(ω, s) = L(ω, δ₁) + P(δ₁) Φ(T_{δ₁} ω, s′) · Prove2Me

P

Initializing...

Shift identity (p. 290) — Φ(ω, s) = L(ω, δ₁) + P(δ₁) Φ(T_{δ₁} ω, s′) · Prove2Me