OAI/NumberTheory/Ostmann/Characters/CharacterWordBinSelection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform rates when selecting the actual initial character word bin

  1. theorem OAI.Ostmann.character_word_bin_selection line 10