Theorem EuclideanGeometry.vsub_orthogonalProjection_mem_direction_orthogonal

Modification history