Skip to content
Back to pull request #38015

[Merged by Bors] - feat(Analysis/SpecialFunctions/Complex/Log): natural number versions of exp_eq_one_iff #288251

Sign in to view logs

[Merged by Bors] - feat(Analysis/SpecialFunctions/Complex/Log): natural number versions of exp_eq_one_iff

[Merged by Bors] - feat(Analysis/SpecialFunctions/Complex/Log): natural number versions of exp_eq_one_iff #288251

ci (fork)  /  Upload to cache

ci (fork) / Upload to cache
succeeded Apr 13, 2026 in 1m 3s