posterior_comp_self — Mathlib · SciLib

∫ Утверждение Mathlib

posterior_comp_self

Mathlib.Probability.Kernel.Posterior

URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.posterior_comp_self

← MathLib Explorer