Commit 2022-12-06 20:53 07fee0ca
View on Github →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.
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.