∫ Утверждение Mathlib
left_vsub_midpoint
Mathlib.LinearAlgebra.AffineSpace.Midpoint
URI: https://scilib.ai/kg/mathlib#left_vsub_midpoint
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.AffineSpace.Midpoint
URI: https://scilib.ai/kg/mathlib#left_vsub_midpoint