OAI.WitnessedSeparation.Grid.QuotedGrid.selection_transitive: intermediate lemma from OpenAI, Witnessed symmetric choice is strictly stronger than choiceless polynomial time with counting

Initializing...

OAI.WitnessedSeparation.Grid.QuotedGrid.selection_transitive: intermediate lemma from OpenAI, Witnessed symmetric choice is strictly stronger than choiceless polynomial time with counting · Prove2Me