Theorem Affine.Simplex.dist_circumcenter_eq_circumradius

Modification history