Theorem Real.hasStrictDerivAt_log

Modification history

2023-06-05 07:16

Mathlib/Analysis/SpecialFunctions/Log/Deriv.lean

feat: port Analysis.SpecialFunctions.Log.Deriv (#4669)

Added Real.hasStrictDerivAt_log View on Github →