Theorem EuclideanGeometry.dist_orthogonalProjection_ne_zero_of_not_mem

Modification history