∫ Утверждение Mathlib
term_∘ₖ_
Mathlib.Probability.Kernel.Composition.Comp
URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.term_∘ₖ_
∫ Утверждение Mathlib
Mathlib.Probability.Kernel.Composition.Comp
URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.term_∘ₖ_