Theorem Affine.Simplex.eq_circumcenter_of_dist_eq

Modification history