∫ Утверждение Mathlib
piPremeasure_pi
Mathlib.MeasureTheory.Constructions.Pi
URI: https://scilib.ai/kg/mathlib#MeasureTheory.piPremeasure_pi
∫ Утверждение Mathlib
Mathlib.MeasureTheory.Constructions.Pi
URI: https://scilib.ai/kg/mathlib#MeasureTheory.piPremeasure_pi