LatticeCovering.lean`

0 declarations, 0 contain sorry, 0 declared as axioms

Single-lattice coverings: the unconditional theorem and the full collection of weighted Gaussian, sampling, shear, circuit, analytic, and geometric results. Conditional interfaces keep their explicit hypotheses; the final theorem is unconditional.

This file declares nothing itself. It gathers the 41 imports below, so a file that imports it gets all of them.