OAI/Probability/FreeIsing/Conditioning/
295 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- Attenuation.lean 4 declarations
- BroadcastFamilyConditional.lean 1 declarations
- CenteredCopyDifference.lean 8 declarations
- Characteristic.lean 8 declarations
- ComponentConditionalRecursionInputs.lean 4 declarations
- ComponentInformation.lean 5 declarations
- ComponentInformationUpper.lean 4 declarations
- ConstructedConditionalCopies.lean 2 declarations
- ConstructedContinuousCopies.lean 3 declarations
- ContinuousCopyImmersion.lean 10 declarations
- ContinuousCopyIndependence.lean 4 declarations
- Copies.lean 10 declarations
- CopyArrayBrownian.lean 4 declarations
- CopyBrownian.lean 9 declarations
- CopyCompensatedSquare.lean 2 declarations
- CopyDifference.lean 20 declarations
- CopyFiltration.lean 7 declarations
- CopyImmersion.lean 7 declarations
- CopyIntegralTransport.lean 3 declarations
- CopyInvariance.lean 4 declarations
- CopyRowConstruction.lean 3 declarations
- CopyVariance.lean 7 declarations
- CovarianceLimit.lean 12 declarations
- CutLevelConditionalMean.lean 4 declarations
- Descent.lean 2 declarations
- DiscreteConditioning.lean 8 declarations
- FactorRecovery.lean 3 declarations
- FamilyConditionalPullback.lean 2 declarations
- FiniteBayes.lean 4 declarations
- FiniteBayesCondExp.lean 6 declarations
- FiniteBayesExp.lean 2 declarations
- FiniteEntropySmallTime.lean 8 declarations
- FiniteFieldEntropyExpectation.lean 12 declarations
- FiniteObservationInformation.lean 4 declarations
- Fubini.lean 3 declarations
- GaussianVector.lean 8 declarations
- InformationTransport.lean 3 declarations
- InnovationConditionalMoments.lean 6 declarations
- KernelConditionalExpectation.lean 1 declarations
- KernelExtensionConditionalExpectation.lean 1 declarations
- Naturality.lean 7 declarations
- NoisyBranchConditionalLaw.lean 5 declarations
- NoisyCopyDifference.lean 4 declarations
- ObservationCopyStationarity.lean 5 declarations
- ObservationInformation.lean 7 declarations
- PlantedInformation.lean 10 declarations
- Product.lean 4 declarations
- Pullback.lean 4 declarations
- Regrouping.lean 3 declarations
- SelectedFieldConditionedMoments.lean 4 declarations
- SelectedPosteriorEvenConditioning.lean 7 declarations
- ShiftedLoss.lean 7 declarations
- SideSignalLoss.lean 1 declarations
- StatisticLoss.lean 3 declarations
- StrictPosteriorInformation.lean 6 declarations