mathlib
c8fc41b2 - feat (analysis/special_functions): add the Beta function (#18373)

Commit

2 years ago

feat (analysis/special_functions): add the Beta function (#18373) Add the Beta function, and prove its relation to the Gamma function via convolution integrals.

Author

loefflerd

Parents

cd424234

mathlib c8fc41b2 - feat (analysis/special_functions): add the Beta function (#18373)

mathlib
c8fc41b2 - feat (analysis/special_functions): add the Beta function (#18373)