Theorem Affine.Triangle.dist_southPole_point_eq_dist_southPole_incenter

Modification history

2026-10-17 17:39
Mathlib/Geometry/Euclidean/Angle/Incenter.lean
feat(Geometry/Euclidean/Angle/Incenter): distance from second intersection with circumcircle (#32294) …
Added Affine.Triangle.dist_southPole_point_eq_dist_southPole_incenterView on Github →