Theorem EuclideanGeometry.dist_sq_mul_dist_add_dist_sq_mul_dist

Modification history