OAI.VariableWL.subcubic_hard: intermediate lemma from OpenAI, Variable-dimension Weisfeiler–Leman equivalence on general and subcubic graphs

Initializing...

OAI.VariableWL.subcubic_hard: intermediate lemma from OpenAI, Variable-dimension Weisfeiler–Leman equivalence on general and subcubic graphs · Prove2Me