Mathlib v3 is deprecated. Go to Mathlib v4

Def euclidean_geometry.inversion

Modification history

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