OAI/NumberTheory/OrdinaryCorrelations/AbsoluteDefect/TruncationComparison.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.OrdinaryCorrelations.SourceBonferroni.truncation_comparison line 26
2. theorem OAI.OrdinaryCorrelations.SourceBonferroni.sieve_transfer line 45
3. def OAI.OrdinaryCorrelations.SourceBonferroni.bernoulliWeight line 60
4. def OAI.OrdinaryCorrelations.SourceBonferroni.bernoulliEvent line 63
5. lemma OAI.OrdinaryCorrelations.SourceBonferroni.bernoulli_nonneg line 65
6. lemma OAI.OrdinaryCorrelations.SourceBonferroni.bernoulli_product line 70
7. lemma OAI.OrdinaryCorrelations.SourceBonferroni.joint_prod line 80
8. lemma OAI.OrdinaryCorrelations.SourceBonferroni.bernoulli_intersection line 89
9. lemma OAI.OrdinaryCorrelations.SourceBonferroni.bernoulli_survival line 103
10. theorem OAI.OrdinaryCorrelations.SourceBonferroni.finite_upper_sieve line 116