OAI.CoboundaryExpanders.Construction.uniform_infinite_coset_positive: intermediate lemma from OpenAI, Bounded-degree coboundary expanders in every dimension

Initializing...

OAI.CoboundaryExpanders.Construction.uniform_infinite_coset_positive: intermediate lemma from OpenAI, Bounded-degree coboundary expanders in every dimension · Prove2Me