Theorem Affine.Simplex.sum_mongePointVSubFaceCentroidWeightsWithCircumcenter

Modification history