mathlib

04bae89e - feat (special_functions/gamma): doubling formula