OAI/Combinatorics/Progressions/Probability/BSGDensity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.NNRat.cast_sub line 13
2. lemma OAI.Finset.dens_product line 27
3. lemma OAI.Finset.dens_union_eq_dens_add_dens line 32
4. lemma OAI.Finset.dens_sdiff_of_subset line 36
5. lemma OAI.Finset.cast_dens_inter line 40
6. lemma OAI.Finset.cast_dens_union line 43
7. lemma OAI.Finset.cast_dens_sdiff line 46