midpoint_le_right — Mathlib · SciLib

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

midpoint_le_right

Mathlib.LinearAlgebra.AffineSpace.Ordered

URI: https://scilib.ai/kg/mathlib#midpoint_le_right

← MathLib Explorer