Theorem Affine.Simplex.circumcenter_eq_affineCombination_of_pointsWithCircumcenter

Modification history