floor_pow): auxiliary results on series involving floors of powers (#13850)

Commit

3 years ago

feat(analysis/specific_limits/floor_pow): auxiliary results on series involving floors of powers (#13850)

Author

sgouezel

Parents