OAI/NumberTheory/Ostmann/Construction/FixedBinEndpointRate.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A fixed word bin keeps its rate after selecting the finitely many cells
- theorem
OAI.Ostmann.eventual_fixed_bin_endpoint_rateline 9