Theorem Affine.Triangle.dist_nsPole_point_eq_dist_nsPole_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_nsPole_point_eq_dist_nsPole_excenterView on Github →