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

edist_def

Mathlib.MeasureTheory.Function.LpSpace.Basic

URI: https://scilib.ai/kg/mathlib#MeasureTheory.Lp.edist_def

← MathLib Explorer