mathlib

bc78621a - feat(geometry/euclidean/monge_point): reflection of circumcenter (#4062)

feat(geometry/euclidean/monge_point): reflection of circumcenter (#4062) Show that the distance from the orthocenter of a triangle to the reflection of the circumcenter in a side equals the circumradius (a key fact for proving various standard properties of orthocentric systems).