Theorem Affine.Simplex.point_eq_affineCombination_of_pointsWithCircumcenter

Modification history