circumcenter): more lemmas (#4028)

Commit

5 years ago

feat(geometry/euclidean/circumcenter): more lemmas (#4028) Add some more basic lemmas about `circumcenter` and `circumradius`.

References

Author

jsm28

Parents