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.
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.