Theorem Real.hasDerivAt_log

Modification history

2023-06-05 07:16

Mathlib/Analysis/SpecialFunctions/Log/Deriv.lean

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

Added Real.hasDerivAt_log View on Github →