Translating chart coordinates by `z₀` recenters the generator at `f + π Σ z₀ᵢ bᵢ`, maps cosets to translated cosets, and preserves the coefficient measure and measurability.

Initializing...

Translating chart coordinates by `z₀` recenters the generator at `f + π Σ z₀ᵢ bᵢ`, maps cosets to translated cosets, and preserves the coefficient measure and measurability. · Prove2Me