Theorem EuclideanGeometry.exists_circumcenter_eq_of_cospherical_subset

Modification history