P
Initializing...
§4.1, eq. (6), p. 32 — the sum readout φ(Σᵤ ψ(xᵤ)) is permutation invariant · Prove2Me