OAI/Geometry/LatticeCovering/
1763 declarations, 0 contain sorry, 0 declared as axioms; 41 files
Files
- Assembly.lean 1 declarations
- Bits.lean 49 declarations
- BrokenCircuits.lean 38 declarations
- Chains.lean 58 declarations
- CircuitErrors.lean 45 declarations
- CircuitLattices.lean 37 declarations
- CircuitSums.lean 66 declarations
- CircuitVolumes.lean 43 declarations
- Completion.lean 44 declarations
- Concentration.lean 59 declarations
- Covering.lean 26 declarations
- Desmoothing.lean 39 declarations
- Folded.lean 72 declarations
- GaussianMoments.lean 62 declarations
- GaussianPositions.lean 8 declarations
- GaussianRates.lean 33 declarations
- GaussianSections.lean 40 declarations
- GaussianSmoothing.lean 64 declarations
- GridCounts.lean 43 declarations
- Horizontal.lean 20 declarations
- Isotropy.lean 42 declarations
- Lines.lean 35 declarations
- LogConcavity.lean 44 declarations
- Main.lean 1 declarations
- Marginals.lean 41 declarations
- MeanHoles.lean 31 declarations
- Model.lean 3 declarations
- Patterns.lean 47 declarations
- PrimeGrids.lean 47 declarations
- PrimeKernels.lean 57 declarations
- Products.lean 72 declarations
- ProjectionBounds.lean 37 declarations
- RadialBounds.lean 44 declarations
- Rates.lean 36 declarations
- Residuals.lean 45 declarations
- Rounding.lean 49 declarations
- Sampling.lean 71 declarations
- SamplingBounds.lean 70 declarations
- Sections.lean 26 declarations
- Shears.lean 66 declarations
- Transport.lean 52 declarations