Skip to content

Commit d0c30e1

Browse files
pecherskyParcly-Taxel
pechersky
and
Parcly-Taxel
committed
feat: port Analysis.SpecialFunctions.Trigonometric.Inverse (#4037)
 Co-authored-by: Jeremy Tan Jie Rui <reddeloostw@gmail.com>
1 parent d8a59ae commit d0c30e1

File tree

2 files changed

+474
-0
lines changed

2 files changed

+474
-0
lines changed

‎Mathlib.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -440,6 +440,7 @@ import Mathlib.Analysis.SpecialFunctions.Polynomials
440440
import Mathlib.Analysis.SpecialFunctions.Trigonometric.Angle
441441
import Mathlib.Analysis.SpecialFunctions.Trigonometric.Basic
442442
import Mathlib.Analysis.SpecialFunctions.Trigonometric.Chebyshev
443+
import Mathlib.Analysis.SpecialFunctions.Trigonometric.Inverse
443444
import Mathlib.Analysis.SpecificLimits.Basic
444445
import Mathlib.Analysis.SpecificLimits.Normed
445446
import Mathlib.Analysis.Subadditive

0 commit comments

Comments
 (0)