Commit 2025-05-25 21:28 82012aca
View on Github →chore(Analysis/SpecialFunctions/ContinuousFunctionalCalculus/ExpLog): weaken positivity hypothesis (#25194)
CFC.log_smul and CFC.log_pow had unnecessary assumptions that the operator, and the scalar, were positive. Assuming nonzero is sufficient.
Upstreamed from quantumInfo