If PSPACE ⊆ NPSPACE is truly 'intuitive' and 'definitional,' calling it an observation needing expli...
This proposition has not been edited since the history system was added.