OAI/Combinatorics/EuclideanRamsey/
663 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- AdicLifting.lean 28 declarations
- Circle.lean 2 declarations
- CircleExtension.lean 6 declarations
- CircleGeometry.lean 5 declarations
- CircleInterpolation.lean 8 declarations
- CircleRows.lean 5 declarations
- CircleSpan.lean 1 declarations
- ColoringCompactness.lean 9 declarations
- Congruence.lean 4 declarations
- CornerGroup.lean 6 declarations
- CorrectionPaths.lean 13 declarations
- DerivedFractions.lean 17 declarations
- DifferentialSplitting.lean 13 declarations
- Discretization.lean 11 declarations
- FiniteEuclidean.lean 29 declarations
- GramCompletion.lean 10 declarations
- Hessian.lean 16 declarations
- IndependentTensor.lean 28 declarations
- LatticeMoments.lean 56 declarations
- Main.lean 4 declarations
- Model.lean 10 declarations
- Nine.lean 12 declarations
- NineField.lean 39 declarations
- NineGeometry.lean 13 declarations
- NineGridDeterminant.lean 20 declarations
- NineLinearObstruction.lean 5 declarations
- NineRationalDeterminant.lean 27 declarations
- NineStatement.lean 3 declarations
- NormalCost.lean 18 declarations
- OrbitAveraging.lean 25 declarations
- PathFractions.lean 30 declarations
- PathSynchronization.lean 5 declarations
- PathWords.lean 27 declarations
- Quadratic.lean 10 declarations
- RationalConvolution.lean 7 declarations
- SignedRows.lean 16 declarations
- SmoothingKernel.lean 36 declarations
- SmoothingMatrix.lean 9 declarations
- SphereTransport.lean 1 declarations
- Spherical.lean 1 declarations
- StencilConvolution.lean 7 declarations
- TensorDescent.lean 13 declarations
- TensorNecessity.lean 22 declarations
- TensorPresentation.lean 15 declarations
- TensorSphere.lean 1 declarations
- Transitive.lean 7 declarations
- UltrafilterStrings.lean 13 declarations