P
Initializing...
Lemma 4.15 — the biased min work mechanism is strongly truthful for all parameters · Prove2Me