Theorem EuclideanGeometry.eq_of_dist_eq_of_dist_eq_of_finrank_eq_two

Modification history