Mathlib v3 is deprecated. Go to Mathlib v4

Theorem euclidean_geometry.inversion_injective

Modification history

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