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

const_one

Mathlib.MeasureTheory.Function.SimpleFunc

URI: https://scilib.ai/kg/mathlib#MeasureTheory.SimpleFunc.const_one

← MathLib Explorer