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

Initializing...

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