OAI/NumberTheory/Ostmann/Construction/WordTransferPairBound.lean
1 declarations, 0 contain sorry, 0 declared as axioms
One-sided cancellation for two actual branching word histories
- theorem
OAI.Ostmann.wordTransfer_pair_dyadic_boundline 13