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

Initializing...

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