§4.1, eq. (13), p. 34 — the local construction F(X, A)ᵤ = φ(xᵤ, X_{Nᵤ}) satisfies (10)

Initializing...

§4.1, eq. (13), p. 34 — the local construction F(X, A)ᵤ = φ(xᵤ, X_{Nᵤ}) satisfies (10) · Prove2Me