Shannon Entropy Characterization

Source: doi:10.1002/j.1538-7305.1948.tb01338.x Authors: Samuel Schlesinger Status: verified Main declarations: LeanPool.Shannon1948Formalization.entropyNat_unique Tags: information-theory, entropy, probability MSC: 94A17, 60C05

Shannon

Project entrypoint. Re-exports the entropy characterization development.