OAI/Probability/PosteriorReplicas/Measures/
128 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- BaseDisintegration.lean 12 declarations
- ConstrainedDensityExpectation.lean 6 declarations
- DensityDifferentiation.lean 6 declarations
- DensityTools.lean 6 declarations
- EqualApproximation.lean 7 declarations
- EqualBaseMeasures.lean 16 declarations
- EqualLabelIdentity.lean 5 declarations
- EqualLabelTransfer.lean 9 declarations
- EqualLabelVersions.lean 2 declarations
- EqualRightMeasure.lean 19 declarations
- EuclideanLabels.lean 8 declarations
- GaussianConstant.lean 2 declarations
- GaussianDifferentiation.lean 12 declarations
- PiTools.lean 2 declarations
- ProductFibers.lean 3 declarations
- ReferenceMoments.lean 6 declarations
- TiltNormalization.lean 7 declarations