P
Initializing...
§4.3, p. 41 — group convolution against an invariant measure is equivariant · Prove2Me