OAI/Probability/SphericalField/Entropy/
144 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- CappedDensity.lean 16 declarations
- Distribution.lean 12 declarations
- Kernel.lean 13 declarations
- Quantile.lean 21 declarations
- StationaryExistence.lean 20 declarations
- StepDual.lean 7 declarations
- StepIntegral.lean 28 declarations
- StepStationary.lean 7 declarations
- Support.lean 4 declarations
- Trials.lean 16 declarations