mathlib3

baad0026 - feat(analysis/complex/phragmen_lindelof): Phragmen-Lindelöf principle for some shapes (#13178)

feat(analysis/complex/phragmen_lindelof): Phragmen-Lindelöf principle for some shapes (#13178) Prove Phragmen-Lindelöf principle - in a horizontal strip; - in a vertical strip; - in a coordinate quadrant; - in the right half-plane (a few versions).