OAI/Geometry/PeriodicTiling/
1451 declarations, 0 contain sorry, 0 declared as axioms; 122 files
Files
- AETilingCountable.lean 3 declarations
- Activation.lean 20 declarations
- ActivationOffsets.lean 36 declarations
- ActivationTiles.lean 37 declarations
- ActivityWord.lean 13 declarations
- AuxiliaryCubes.lean 10 declarations
- BlockActivationInverse.lean 19 declarations
- BoundedDifferences.lean 6 declarations
- CenterFiniteness.lean 6 declarations
- ChannelDigitBlocks.lean 16 declarations
- CircleWeylCriterion.lean 11 declarations
- ClosedBoxRounding.lean 6 declarations
- ClosedCoverChains.lean 3 declarations
- CommonModel.lean 15 declarations
- CommonSeedOutputs.lean 22 declarations
- CommonSolution.lean 5 declarations
- ComponentTargets.lean 11 declarations
- ConfigurationDifferenceReduction.lean 4 declarations
- ConfigurationDifferences.lean 23 declarations
- ConstituentAssembly.lean 9 declarations
- ConstituentGeometry.lean 18 declarations
- ConstraintCycles.lean 16 declarations
- CosetParts.lean 6 declarations
- CosetPeriodicity.lean 1 declarations
- Counterexample.lean 2 declarations
- CycleTests.lean 34 declarations
- CyclicCRT.lean 11 declarations
- CyclicCoordinates.lean 28 declarations
- CyclicCounterexample.lean 2 declarations
- CyclicFactorCRT.lean 16 declarations
- CyclicQuotient.lean 22 declarations
- CyclicShear.lean 25 declarations
- CyclicStack.lean 14 declarations
- CyclicSystemStacking.lean 1 declarations
- CyclicTypes.lean 13 declarations
- Dependence.lean 40 declarations
- DirectionalLimits.lean 11 declarations
- DirectionalSlices.lean 5 declarations
- DisjointSuccessorPairs.lean 2 declarations
- EncodedSystem.lean 18 declarations
- EncodedSystemObstruction.lean 3 declarations
- EncodingParameters.lean 29 declarations
- EncodingPrimeSelection.lean 21 declarations
- EuclideanBasic.lean 14 declarations
- FiniteCylinder.lean 8 declarations
- FiniteDifferencePolynomial.lean 12 declarations
- FiniteEventUnion.lean 2 declarations
- FiniteMasks.lean 28 declarations
- FinitePairCounting.lean 13 declarations
- FinitePairRatio.lean 1 declarations
- ForwardDifference.lean 2 declarations
- FullDifferenceBound.lean 3 declarations
- FullDifferencePartition.lean 12 declarations
- GraphTests.lean 25 declarations
- GridRigidity.lean 4 declarations
- IntegerMatrixIndex.lean 5 declarations
- LabeledDigitBlocks.lean 31 declarations
- LastDigit.lean 17 declarations
- LatticeDescent.lean 4 declarations
- LatticeDimensions.lean 3 declarations
- LatticePeriodicity.lean 4 declarations
- LatticeThickening.lean 5 declarations
- LowerDimensions.lean 2 declarations
- Main.lean 1 import, no declarations
- MarkedCell.lean 9 declarations
- MarkedTile.lean 41 declarations
- MarkedTileDescent.lean 1 declarations
- MarkedTileExistence.lean 11 declarations
- Model.lean 12 declarations
- OneDimensional.lean 18 declarations
- OneDimensionalLattice.lean 2 declarations
- OrdinaryActivation.lean 2 declarations
- OrdinaryModel.lean 14 declarations
- PeriodicPartGrouping.lean 2 declarations
- PeriodicRegion.lean 6 declarations
- PeriodicVolume.lean 11 declarations
- PeriodicVolumeMass.lean 12 declarations
- PeriodicVolumeOrbits.lean 8 declarations
- PlanarPeriodicity.lean 5 declarations
- PlaneLattices.lean 30 declarations
- PolynomialShiftDifference.lean 7 declarations
- PolynomialWeyl.lean 11 declarations
- PrimeDifferencePairs.lean 3 declarations
- QuotientTiling.lean 2 declarations
- RationalPolynomialPeriod.lean 6 declarations
- ResidueCoordinates.lean 25 declarations
- ResidueCountBound.lean 9 declarations
- ResidueLiftPairs.lean 11 declarations
- ResidueTransversal.lean 19 declarations
- RigidSectionGeometry.lean 6 declarations
- ScalarAverage.lean 14 declarations
- ScalarPolynomialPeriodicity.lean 5 declarations
- ScalarVanDerCorput.lean 20 declarations
- SeedSymbols.lean 8 declarations
- SeparatedCenters.lean 7 declarations
- SharedSeedInactive.lean 5 declarations
- SharedSeedInverse.lean 15 declarations
- SharedSeedLabelEquiv.lean 2 declarations
- SharedSeedLabels.lean 25 declarations
- SharedSeedRegions.lean 38 declarations
- SharedSeedSizeTransport.lean 14 declarations
- ShiftMultiplicity.lean 29 declarations
- Stacking.lean 6 declarations
- StackingContributions.lean 20 declarations
- SystemObstruction.lean 1 declarations
- ThreeDimensionalTransfer.lean 1 declarations
- ThreeDimensions.lean 1 declarations
- TileDilation.lean 14 declarations
- TilesRegion.lean 4 declarations
- TilingBasic.lean 9 declarations
- TilingTranslation.lean 3 declarations
- TilingTransport.lean 13 declarations
- VoxelCubeMeasure.lean 10 declarations
- VoxelGeometry.lean 11 declarations
- VoxelMeasure.lean 8 declarations
- WeakPeriodicity.lean 1 declarations
- WordAffine.lean 13 declarations
- WordAffineAlgebra.lean 8 declarations
- WordAffineCount.lean 8 declarations
- WordAffineGeometry.lean 7 declarations
- WordObstruction.lean 20 declarations
- WordRule.lean 20 declarations