Theorem Affine.Simplex.sum_mongePointWeightsWithCircumcenter

Modification history