OAI.Percolation.infinitely_many_of_pc_lt_lt_pu: intermediate lemma from OpenAI, Nonuniqueness of percolation on nonamenable quasi-transitive graphs (result family 214)

Initializing...

OAI.Percolation.infinitely_many_of_pc_lt_lt_pu: intermediate lemma from OpenAI, Nonuniqueness of percolation on nonamenable quasi-transitive graphs (result family 214) · Prove2Me