Theorem DifferentiableOn.log

Modification history

2023-06-05 07:16

Mathlib/Analysis/SpecialFunctions/Log/Deriv.lean

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

Added DifferentiableOn.log View on Github →