inversion) new file (#14692)

Commit

3 years ago

feat(geometry/euclidean/inversion) new file (#14692) * Define `euclidean_geometry.inversion`. * Prove Ptolemy's inequality.

Author

urkud

Parents