Theorem EuclideanGeometry.dist_eq_of_angle_eq_angle_of_angle_ne_pi

Modification history