P
Initializing...
The future $\sigma$-algebra is a single pullback along the shift · Prove2Me