PR !4#20313: feat(Data/Complex/Exponential): prove some u...

Stream: triage

[Random Issue Bot]

Today I chose PR #20313 for discussion!

feat(Data/Complex/Exponential): prove some useful results about the complex exponential.
Created by @Sidharth Hariharan (@thefundamentaltheor3m) on 2024-12-29
Labels: merge-conflict, t-analysis, new-contributor

Is this PR still relevant? Any recent updates? Anyone making progress?

[Bhavik Mehta]

this might have rotted a bit, but I think the results here are still useful. @Sidharth Hariharan perhaps you want to make a new PR for the content in here?

[Sidharth Hariharan]

Sure - I can make a new PR and close #20313