P
Initializing...
The row operator from Lemma 13 · Prove2Me