Theorem Affine.Simplex.dist_circumcenter_sq_eq_sq_sub_circumradius

Modification history