Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-11 11:35 bc78621a

View on Github →

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).

Estimated changes