exponential): more `simp` lemmas (#14731)

Commit

3 years ago

feat(data/complex/exponential): more `simp` lemmas (#14731) Add `simp` attrs and `simp` lemmas. Co-authored-by: Floris van Doorn <fpvdoorn@gmail.com>

Author

urkud

Parents