Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-03 09:48 6e26cff9

View on Github →

feat(analysis/special_functions): add the Gamma function (#12917)

Estimated changes