P
Initializing...
The Lautemann shifted-cover disjunction runs in polynomial time · Prove2Me