P
Initializing...
§5.7, side-note p. 93 — equivariance under an s-step left shift · Prove2Me