OAI/Probability/CubeShuffle/
1084 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- Basic.lean 81 declarations
- ButterflyCycles.lean 121 declarations
- ButterflyRoutes.lean 29 declarations
- Coin.lean 4 declarations
- CycleColoring.lean 45 declarations
- DensityMoments.lean 90 declarations
- DimensionEstimates.lean 50 declarations
- ExceptionalOperators.lean 45 declarations
- FiniteKernel.lean 16 declarations
- FourierBound.lean 18 declarations
- Generation.lean 18 declarations
- ModifiedDensity.lean 56 declarations
- ModifiedKernel.lean 12 declarations
- ModifiedRouting.lean 71 declarations
- NetworkSpectral.lean 8 declarations
- PairRouting.lean 86 declarations
- ParallelLayers.lean 81 declarations
- Physical.lean 21 declarations
- QueryTree.lean 40 declarations
- RecursiveDensity.lean 52 declarations
- RoutingNetwork.lean 100 declarations
- SchattenBounds.lean 7 declarations
- ShapeSpectral.lean 15 declarations
- UniformDecay.lean 8 declarations
- WeightedModel.lean 8 declarations
- WeightedMoments.lean 2 declarations