mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard
verified publisher icon leanprover-community

feat (NumberTheory/Harmonic): compute Gamma'(1/2)

Open loefflerd opened this issue 1 year ago • 3 comments

Show Gamma'(1/2) = -√π * (γ + 2 * log 2) and various other related results.

Open in Gitpod

loefflerd avatar May 15 '24 05:05 loefflerd

maintainer merge

MichaelStollBayreuth avatar May 25 '24 08:05 MichaelStollBayreuth

🚀 Pull request has been placed on the maintainer queue by MichaelStollBayreuth.

github-actions[bot] avatar May 25 '24 08:05 github-actions[bot]

:v: loefflerd can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.

mathlib-bors[bot] avatar May 25 '24 09:05 mathlib-bors[bot]

Thanks Michael and Sebastien for the reviews!

bors r+

loefflerd avatar May 25 '24 19:05 loefflerd

Pull request successfully merged into master.

Build succeeded:

mathlib-bors[bot] avatar May 25 '24 21:05 mathlib-bors[bot]