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