Theorem EuclideanGeometry.dist_smul_vadd_eq_dist

Modification history