Champernowne normality in every base

Source: url:https://github.com/OldMathematician/ChampernowneNormality Authors: Arthur Champernowne Status: verified Main declarations: Champernowne.champernowne_normal Tags: normal-numbers, digit-expansions, combinatorics-on-words, asymptotic-frequency MSC: 11K16, 68R15