Theorem CFC.log_smul

Modification history

2025-05-25 21:28
Mathlib/Analysis/SpecialFunctions/ContinuousFunctionalCalculus/ExpLog.lean
chore(Analysis/SpecialFunctions/ContinuousFunctionalCalculus/ExpLog): weaken positivity hypothesis (#25194) …
Modified CFC.log_smulView on Github →
2024-07-17 03:09
Mathlib/Analysis/SpecialFunctions/ContinuousFunctionalCalculus/ExpLog.lean
feat(ContinuousFunctionalCalculus): Define the real log based on the CFC (#14448) …
Added CFC.log_smulView on Github →