P
Initializing...
Lemma 16 — the composition of two atomic transformations is atomic · Prove2Me