Theorem EuclideanGeometry.angle_eq_angle_of_dist_eq

Modification history