Skip to content

Commit d24920b

Browse files
justus-springerjustus-springer
committed
fix
1 parent f471d1f commit d24920b

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎Mathlib/RingTheory/PowerSeries/Exp.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ module
88
public import Mathlib.Algebra.Algebra.Rat
99
public import Mathlib.Data.Nat.Cast.Field
1010
public import Mathlib.RingTheory.PowerSeries.Derivative
11+
public import Mathlib.RingTheory.PowerSeries.Inverse
1112

1213
/-!
1314
# Exponential Power Series

0 commit comments

Comments
 (0)