Theorem Affine.Triangle.dist_circumcenter_reflection_orthocenter

Modification history

2025-07-06 01:51

Mathlib/Geometry/Euclidean/MongePoint.lean

feat(Geometry/Euclidean/MongePoint) add theorems about orthocenter and circumcenter (#26781)

Added Affine.Triangle.dist_circumcenter_reflection_orthocenter View on Github →