OAI/NumberTheory/Ostmann/ZeroDensity/InitialIntervalZero.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A nontrivial original interval removes the initial zero frequency

  1. theorem OAI.Ostmann.fullAtomTransferWeight_zero_of_interval line 9