Documentation
LeanCourse
.
MIL
.
C11_Differential_Calculus
.
S01_Elementary_Differential_Calculus
Search
Google site search
return to top
source
Imports
Init
LeanCourse.Common
Mathlib.Analysis.Calculus.MeanValue
Mathlib.Analysis.Calculus.Deriv.Pow
Mathlib.Analysis.SpecialFunctions.Trigonometric.Deriv
Imported by