Theorem EuclideanGeometry.orthogonalProjectionFn_vsub_mem_direction_orthogonal

Modification history