OAI/Analysis/MetricEntropy/
533 declarations, 0 contain sorry, 0 declared as axioms; 52 files
Files
- Asymptotics.lean 7 declarations
- Basic.lean 29 declarations
- CommonIndex.lean 3 declarations
- Compression.lean 4 declarations
- CompressionCode.lean 9 declarations
- CompressionDecoder.lean 7 declarations
- CompressionLevels.lean 11 declarations
- Construction.lean 1 declarations
- ConvexBody.lean 18 declarations
- CoordinateTransport.lean 29 declarations
- CoveringNumber.lean 18 declarations
- DimensionRatio.lean 7 declarations
- DirectionBudget.lean 2 declarations
- DirectionDeletion.lean 1 declarations
- DirectionSampling.lean 16 declarations
- DirectionTuples.lean 8 declarations
- EntropyBounds.lean 5 declarations
- EntropyComparison.lean 7 declarations
- EntropyFinal.lean 3 declarations
- EntropyPair.lean 3 declarations
- EntropyPairLimits.lean 3 declarations
- FieldGraphSeparation.lean 8 declarations
- FiniteFieldRows.lean 16 declarations
- FiniteProductCounting.lean 17 declarations
- FormCardinality.lean 4 declarations
- FormContraction.lean 9 declarations
- FormDimension.lean 5 declarations
- FormPolynomials.lean 18 declarations
- FormZeroCount.lean 5 declarations
- GraphProfile.lean 12 declarations
- GreedyPivots.lean 16 declarations
- GroupedWeights.lean 9 declarations
- LabelEncoding.lean 7 declarations
- LogProfile.lean 18 declarations
- Main.lean 4 declarations
- MatrixEntropy.lean 1 declarations
- MatrixToBody.lean 5 declarations
- Model.lean 8 declarations
- Parameters.lean 19 declarations
- PartitionGraph.lean 24 declarations
- PolarCover.lean 10 declarations
- PolynomialZeroBound.lean 7 declarations
- PrimeChoice.lean 7 declarations
- ProfileMixtures.lean 8 declarations
- ProfilePivots.lean 1 declarations
- RobustDirections.lean 2 declarations
- SignedCompression.lean 18 declarations
- SupportPolar.lean 23 declarations
- SymmetricForms.lean 28 declarations
- SymmetricIndex.lean 7 declarations
- SymmetricMultiplicity.lean 5 declarations
- WeightRounding.lean 21 declarations