OAI/Probability/GaussianReplacement/
1081 declarations, 0 contain sorry, 0 declared as axioms; 50 files
Files
- ActualRow.lean 35 declarations
- ArrayBounds.lean 22 declarations
- Basic.lean 12 declarations
- Comparison.lean 15 declarations
- CompletedKernel.lean 11 declarations
- CompletedModel.lean 15 declarations
- ConditionalInfo.lean 26 declarations
- ConditionalLaw.lean 39 declarations
- CriticalEntropy.lean 49 declarations
- CriticalGeometry.lean 36 declarations
- Density.lean 39 declarations
- Entropy.lean 49 declarations
- FiberBlock.lean 3 declarations
- FiberConditional.lean 26 declarations
- FiberEquality.lean 13 declarations
- FiberGeometry.lean 31 declarations
- FiberModel.lean 15 declarations
- FreshRows.lean 68 declarations
- Geometry.lean 14 declarations
- Gram.lean 28 declarations
- Hybrid.lean 5 declarations
- HybridModel.lean 13 declarations
- Information.lean 31 declarations
- KernelGeometry.lean 27 declarations
- KernelVolume.lean 21 declarations
- MixedGeometry.lean 27 declarations
- MixedReplica.lean 17 declarations
- Mixture.lean 36 declarations
- Observation.lean 70 declarations
- Posterior.lean 30 declarations
- Reference.lean 25 declarations
- Refinement.lean 20 declarations
- RowOrder.lean 49 declarations
- Sampling.lean 12 declarations
- SamplingLaw.lean 9 declarations
- Slab.lean 22 declarations
- Sphere.lean 18 declarations
- StreamBlock.lean 5 declarations
- StreamDensity.lean 0 declarations
- StreamGeometry.lean 9 declarations
- StreamGram.lean 0 declarations
- StreamLearner.lean 7 declarations
- StreamModel.lean 1 import, no declarations
- StreamSphere.lean 4 declarations
- StreamTransfer.lean 7 declarations
- StreamVolume.lean 0 declarations
- Streaming.lean 11 declarations
- StreamingModel.lean 6 declarations
- Telescopes.lean 31 declarations
- Tilt.lean 23 declarations