Theorem Affine.Simplex.circumcenter_eq_point

Modification history