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