mathlib3
e3306942 - feat(analysis/p_series): explicit bounds on sums of the form 1/j^2 (#13851)

Commit

3 years ago

feat(analysis/p_series): explicit bounds on sums of the form 1/j^2 (#13851)

Author

sgouezel

sgouezel

Parents

Loading