Theorem Affine.Simplex.mongePointVSubFaceCentroidWeightsWithCircumcenter_eq_sub

Modification history