OAI/Combinatorics/IndependentSets/Geometry/
216 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- CoordinateAverage.lean 2 declarations
- CoordinateDerivative.lean 4 declarations
- CoordinateMean.lean 11 declarations
- DeletedLayerEquiv.lean 5 declarations
- EmbeddingLayerLaw.lean 4 declarations
- GeometryAntipodes.lean 11 declarations
- GeometryDistance.lean 14 declarations
- GeometryInitialize.lean 15 declarations
- GeometryLink.lean 16 declarations
- GeometryLocations.lean 26 declarations
- GeometryNaming.lean 18 declarations
- GeometryOutput.lean 17 declarations
- NoUniformlyBadFinitePatterns.lean 1 declarations
- PatternInvariant.lean 37 declarations
- RationalLaw.lean 17 declarations
- RationalSimplexApproximation.lean 1 declarations
- SumCoordinateNorm.lean 2 declarations
- Uniform.lean 5 declarations
- Witness.lean 10 declarations