Theorem Affine.Simplex.circumsphere_radius

Modification history