mathlib
f59dbf2c - chore(data/complex/exponential): add `abs_exp`, golf (#9327)

Commit

4 years ago

chore(data/complex/exponential): add `abs_exp`, golf (#9327)

Author

urkud

urkud

Parents

Loading