arg): fix docs (#19095)

Commit

2 years ago

doc(analysis/complex/arg): fix docs (#19095) This is being backported from leanprover-community/mathlib4#4355.

Author

ericrbg

Parents