mathlib3

fix(data/complex/exponential): make complex.exp irreducible

#1040

Merged