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