mathlib3
15a07a99 - feat (analysis/integrals): integral of x * (1 + x^2)^t (#18201)

Commit

3 years ago

feat (analysis/integrals): integral of x * (1 + x^2)^t (#18201)

Author

loefflerd

loefflerd

Parents

Loading