Theorem EuclideanGeometry.circumcenter_eq_of_cospherical_subset

Modification history