Theorem Affine.Simplex.pointsWithCircumcenter_point

Modification history