Theorem Affine.Triangle.dist_northPole_point_eq_dist_northPole_excenter

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_northPole_point_eq_dist_northPole_excenterView on Github →