P
Initializing...
Disintegration of the chain law over its first $k+1$ coordinates · Prove2Me