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

Initializing...

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