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

const_one

Mathlib.Algebra.Notation.Pi.Defs

URI: https://scilib.ai/kg/mathlib#Function.const_one

← MathLib Explorer