Theorem Affine.Simplex.sum_pointWeightsWithCircumcenter

Modification history