Theorem Affine.Simplex.circumcenter_ne_point

Modification history

2025-12-01 21:12
Mathlib/Geometry/Euclidean/Circumcenter.lean
feat(Geometry/Euclidean/Circumcenter): `circumcenter_ne_point` (#32290) …
Added Affine.Simplex.circumcenter_ne_pointView on Github →