P
Initializing...
Polynomial complexity bound for tableau reduction emitter · Prove2Me