Commit 2024-08-09 15:52 96a6efb9

View on Github →

feat(Analysis/SpecialFunctions/Complex/LogBounds): Add some log bounds (#15376) Add some basic bounds on complex logs that are useful for bounding infinite sums/products.

Estimated changes