Theorem EuclideanGeometry.circumsphere_eq_of_cospherical_subset

Modification history