OAI/NumberTheory/Ostmann/Arithmetic/RangedWordPairBound.lean
1 declarations, 0 contain sorry, 0 declared as axioms
One-sided cancellation with every original word and product range
- theorem
OAI.Ostmann.rangedWordTransfer_pair_dyadic_boundline 13