P

Initializing...

Propagation of a $\{0,2\}$-block along the second column · Prove2Me