Theorem EuclideanGeometry.dist_mul_of_eq_angle_of_dist_mul

Modification history