mathlib3

0ee3e6f5 - feat(analysis/special_functions/gamma): monotonicity of the Gamma function (#18246)

feat(analysis/special_functions/gamma): monotonicity of the Gamma function (#18246) Show (using the log-convexity results proved in #18188) that Gamma is strictly increasing for `2 ≤ x`.