∫ Утверждение Mathlib
snd_map_prod_id
Mathlib.Probability.Kernel.Composition.MapComap
URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.Kernel.snd_map_prod_id
∫ Утверждение Mathlib
Mathlib.Probability.Kernel.Composition.MapComap
URI: https://scilib.ai/kg/mathlib#ProbabilityTheory.Kernel.snd_map_prod_id