circumcenter): `mem_circumsphere` (#17393)

Commit

3 years ago

feat(geometry/euclidean/circumcenter): `mem_circumsphere` (#17393) Add a variant of an existing lemma, expressed directly in terms of `circumsphere`.

Author

jsm28

Parents