Theorem Affine.Simplex.circumsphere_unique_dist_eq

Modification history