Commit 2026-04-27 21:20 25a4a334
View on Github →feat(Analysis/SpecialFunctions): hide Gamma func implementation details (#38447)
The definition of the gamma function relies on an auxiliary declaration gammaAux, which is of no interest once the actual gamma function is built. This PR makes gammaAux and its cousins private, and un-expose's the definition of the gamma function (which is fine because there are plenty of API lemmas about it, so we do not need to unfold its actual definition downstream).