Theorem EuclideanGeometry.exists_dist_eq_circumradius_of_subset_insert_orthocenter

Modification history