mathlib3

2cf4746b - chore(analysis/special_functions/gamma): tidy some proofs (#14615)