Theorem Real.differentiableAt_negMulLog_iff

Modification history

2024-08-10 08:13
Mathlib/Analysis/SpecialFunctions/Log/NegMulLog.lean
feat: Generalize statements about deriv of MulLog (#14594) …
Added Real.differentiableAt_negMulLog_iffView on Github →