Theorem fderivWithin.log

Modification history

2023-06-05 07:16

Mathlib/Analysis/SpecialFunctions/Log/Deriv.lean

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

Added fderivWithin.log View on Github →