Skip to content

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

[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 #203646

Triggered via pull request April 14, 2026 17:52
@themathqueenthemathqueen
submitted #38015
Status Success
Total duration 12s
Artifacts

bot_fix_style.yaml

on: pull_request_review
Fix style issues from lint
8s
Fix style issues from lint
Fit to window
Zoom out
Zoom in