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

coe_star

Mathlib.MeasureTheory.Function.SimpleFunc

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

← MathLib Explorer