refactor(Analysis): golf Mathlib/Analysis/SpecialFunctions/Gamma/Basic
#38273
+2
−12
Loading