Theorem EuclideanGeometry.cospherical_iff_exists_mem_of_complete

Modification history