∫ Утверждение Mathlib
orthogonalProjectionFn_vsub_mem_direction_orthogonal
Mathlib.Geometry.Euclidean.Projection
URI: https://scilib.ai/kg/mathlib#EuclideanGeometry.orthogonalProjectionFn_vsub_mem_direction_orthogonal
∫ Утверждение Mathlib
Mathlib.Geometry.Euclidean.Projection
URI: https://scilib.ai/kg/mathlib#EuclideanGeometry.orthogonalProjectionFn_vsub_mem_direction_orthogonal