Commit 2023-10-12 18:21 d8093fd5

View on Github →

feat: 2-adic norm of the n-th harmonic number (#7635) feat: 2-adic norm of the n-th harmonic number

Estimated changes

added theorem padicNorm_two_harmonic
modified theorem padicValRat_two_harmonic