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

Initializing...

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