Theorem EuclideanGeometry.hasFDerivAt_inversion

Modification history

2023-07-26 09:26
Mathlib/Geometry/Euclidean/Inversion/Calculus.lean
feat: derivative of the inversion (#5937) …
Added EuclideanGeometry.hasFDerivAt_inversionView on Github →