Theorem Affine.Simplex.circumcenter_eq_centroid

Modification history