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

Initializing...

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