P

Initializing...

§3.5, p. 27 — the G-average A is invariant, so A ∘ U is G-invariant for every equivariant U · Prove2Me