length — Mathlib · SciLib

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

length

Mathlib.Algebra.Order.Interval.Basic

URI: https://scilib.ai/kg/mathlib#NonemptyInterval.length

← MathLib Explorer