OAI.SharpTerminalLeave.prefix_good_history: intermediate lemma from OpenAI, The sharp terminal leave in random triangle removal

Initializing...

OAI.SharpTerminalLeave.prefix_good_history: intermediate lemma from OpenAI, The sharp terminal leave in random triangle removal · Prove2Me