Skip to content

Commit 6ab2e35

Browse files
urkudurkud
committed
feat: port Analysis.Calculus.Inverse (#4644)
1 parent e2b5ca3 commit 6ab2e35

File tree

2 files changed

+801
-0
lines changed

2 files changed

+801
-0
lines changed

‎Mathlib.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -465,6 +465,7 @@ import Mathlib.Analysis.Calculus.FDeriv.Star
465465
import Mathlib.Analysis.Calculus.FDerivMeasurable
466466
import Mathlib.Analysis.Calculus.FDerivSymmetric
467467
import Mathlib.Analysis.Calculus.FormalMultilinearSeries
468+
import Mathlib.Analysis.Calculus.Inverse
468469
import Mathlib.Analysis.Calculus.IteratedDeriv
469470
import Mathlib.Analysis.Calculus.LHopital
470471
import Mathlib.Analysis.Calculus.LocalExtr

0 commit comments

Comments
 (0)