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