mathlib
2b5344f5 - chore(analysis/special_functions/trigonometric): adding `@[pp_nodot]` to complex.log (#5670)

Commit
5 years ago
chore(analysis/special_functions/trigonometric): adding `@[pp_nodot]` to complex.log (#5670) Added `@[pp_nodot]` to complex.log
Author
Parents
Loading