Exact odd-prime distributions of central-binomial valuations #
Source: doi:10.1515/crll.1852.44.93
Authors: Egor Lyfar
Status: verified
Main declarations: OddPrimeValuationDistribution.oddPrimeValuationGeneratingSeries_identity
Tags: central-binomial-coefficients, p-adic-valuations, digit-carries, generating-functions
MSC: 11A63, 11B65