OAI.SingleLatticeCovering.Assembly.sections_and_circuits_cover: intermediate lemma from OpenAI, A single-lattice covering bound of order n log n

Initializing...

OAI.SingleLatticeCovering.Assembly.sections_and_circuits_cover: intermediate lemma from OpenAI, A single-lattice covering bound of order n log n · Prove2Me