Mathlib v3 is deprecated. Go to Mathlib v4

Theorem euclidean_geometry.dist_inversion_center

Modification history

2022-06-18 16:59
src/geometry/euclidean/inversion.lean
feat(geometry/euclidean/inversion) new file (#14692) …
Added euclidean_geometry.dist_inversion_centerView on Github →