Theorem EuclideanGeometry.circumradius_eq_of_cospherical

Modification history