Skip to content

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

[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

Annotations

1 warning

ci (fork)  /  Lint style

succeeded Apr 13, 2026 in 2m 17s