infinitePi_map_restrict — Mathlib · SciLib

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

infinitePi_map_restrict

Mathlib.Probability.ProductMeasure

URI: https://scilib.ai/kg/mathlib#MeasureTheory.Measure.infinitePi_map_restrict

← MathLib Explorer