Theorem EuclideanSpace.dist_single_same

Modification history