mathlib

07fee0ca - feat(geometry/euclidean/circumcenter): reindexing (#17830)

feat(geometry/euclidean/circumcenter): reindexing (#17830) Add lemmas that reindexing a simplex along an `equiv` of index types does not change the `circumsphere`, `circumcenter` or `circumradius`.