Theorem EuclideanGeometry.dist_left_midpoint_eq_dist_right_midpoint

Modification history