Theorem EuclideanGeometry.dist_set_eq_iff_dist_orthogonalProjection_eq

Modification history