midpoint_eq_iff' — Mathlib · SciLib

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

midpoint_eq_iff'

Mathlib.LinearAlgebra.AffineSpace.Midpoint

URI: https://scilib.ai/kg/mathlib#midpoint_eq_iff'

← MathLib Explorer