Theorem Affine.Simplex.sum_reflectionCircumcenterWeightsWithCircumcenter

Modification history