P
Initializing...
Theorem 3.3, p. 14 — repeated-play extension with positive comparison cost · Prove2Me