CoNP membership fundamentally requires polynomial-length certificates verifiable in polynomial time,...
This proposition has not been edited since the history system was added.