OAI/NumberTheory/OrdinaryCorrelations/AbsoluteDefect/TupleEntryDvdLocation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.OrdinaryTwoScaleCofactor.tuple_entry_dvd_location line 23
2. theorem OAI.OrdinaryTwoScaleCofactor.multiplication_fiber_card line 27
3. lemma OAI.OrdinaryTwoScaleCofactor.primeCount_tuple_mul line 54
4. theorem OAI.OrdinaryTwoScaleCofactor.mixedEnergy_count_bound line 80