Theorem EuclideanGeometry.orthogonalProjection_vsub_mem_direction_orthogonal

Modification history