P
Initializing...
Proposition 1 — finite-horizon latency ratio (goal theorem) · Prove2Me