mathlib

5eedf327 - docs(data/complex/exponential): docstring for de Moivre (#4242)