mathlib3

feat(analysis/special_functions/complex/arg): lemmas about closure and inequalities

#11219

Open