[prev] [prev-tail] [tail] [up]
Definition
Polynomial Certifier
Reduction
Claim 4.17.4.1. ≤p )
⇒
Proof. __
[prev] [prev-tail] [front] [up]