Theorem EuclideanGeometry.dist_smul_vadd_sq

Modification history