Theorem Affine.Simplex.sum_centroidWeightsWithCircumcenter

Modification history