Theorem Affine.Simplex.circumsphere_center

Modification history