OAI.SingleLatticeCovering.Assembly.eventual_single_lattice_covering: intermediate lemma from OpenAI, The optimal order of convex-body covering density

Initializing...

OAI.SingleLatticeCovering.Assembly.eventual_single_lattice_covering: intermediate lemma from OpenAI, The optimal order of convex-body covering density · Prove2Me