identDistrib_mk — Mathlib · SciLib

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

identDistrib_mk

Mathlib.Probability.IdentDistrib

URI: https://scilib.ai/kg/mathlib#MeasureTheory.AEMeasurable.identDistrib_mk

← MathLib Explorer