Lemma 3, item 2 in the paper's form: move the single field q (at position |A|) behind the fields Mf, cost…

Initializing...

Lemma 3, item 2 in the paper's form: move the single field q (at position |A|) behind the fields Mf, cost… · Prove2Me