Documentation

LeanPool.OddPrimeValuationDistribution

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