well_known): sum of power of exponentials (#6368)

Commit

4 years ago

feat(ring_theory/power_series/well_known): sum of power of exponentials (#6368) Co-authored-by: Moritz Firsching <firsching@google.com>

Author

mo271

Parents