Theorem Affine.Simplex.pointsWithCircumcenter_eq_circumcenter

Modification history