Theorem EuclideanGeometry.exists_circumsphere_eq_of_cospherical

Modification history