Theorem Affine.Simplex.sum_circumcenterWeightsWithCircumcenter

Modification history