mathlib3

52e2fbbd - feat(special_functions/gamma): Bohr-Mollerup theorem (#18188)

feat(special_functions/gamma): Bohr-Mollerup theorem (#18188) Add the characterisation of the Gamma function as the unique log-convex function with the correct functional equation.