Theorem EuclideanGeometry.circumcenter_eq_of_cospherical

Modification history